(λx.λy._) a b