Represents the type signature of a function.
Types of the function parameters
Return type of the function
Number of parameters (arity)
Represents the type signature of a function.