(λx. x (λi. i)) λy. (λd. d d) (y z)