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