let plus1 = \x. 1+x
in plus1 3 + plus1 2