Used as an argument for currying functions, allows to define a value and its type.
The argument type.
The argument value.