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