a ((\x.\y.x y) y)
