add is a curried function so partial application returns another function. (add 5) 1 would be roughly equivalent to (func y -> 5 + y) 1 which evaluates to the integer 6

"add" is a curried function, so partially applied like this we'd expect it to evaluate to int -> int