(\x . x three) (\y . plus y y)