let rec efix f e = 
(f e) (fun y x -> (efix f y) x)