let rec y f x = f (y f) x