force lst = match lst with x::xs = x :: force xs [] = []