Select Code to Download

sum x y = x + y

sum :: Num a => a -> a -> a

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

increment = sum 1

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