(λx.λy.x y y) (λz.z) a
(λy.(λz.z) y y) a
(λz.z) a a
a a