(\z.z z) (\x.\y.x y)
