(λx.x) (λy.y y) f
(λy.y y) f
f f