let rec fix f = 
f (fun x -> (fix f) x)