let x = 23 in (\y z -> x+y+z) 1 2