(((lambda (f x) (lambda y (apply (x (f f x)) y)))
(lambda (f x) (lambda y (apply (x (f f x)) y)))
(lambda (loop) (lambda (a b c) body)))
foo bar baz)