## sum :: Num a => a -> (a -> a) ##

## increment = sum 1 ##

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