let rec y = lambda f. lambda x. f(y f)x in let rec f = lambda g. lambda n. if n=0 then 1 else n*g(n-1) in y f 4