
f = \x. x+1;
