let f = \x. \y. x + y
 in f 2 3