def y = \x. \x. x + 1 end