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

-- Should reduce to plus three three