sum 1 2
## really means
(sum 1) 2
## which is
(\y -> 1 + y) 2
##
1 + 2