let rec ecfix c f e = 
 (fun g -> c ((f e) g)) (fun y x -> (ecfix c f y) x)