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