force (x::xs) = x :: force xs
force [] = []