A function of type (Int -> Int) -> Int:
a. Takes a function as its argument
b. Takes two arguments one at a time
c. Takes a pair of arguments
d. Returns a function as its result
e. Returns a pair of results