(\x . \y . x y) y