Question: what is function and type?
Answer: In computer science, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function. ... The class of such maps or functions is called the exponential object.