The function type can be considered to be a special case of the dependent product type, which among other properties, encompasses the idea of a polymorphic function.
The function type can be considered to be a special case of the dependent product type. The dependent product type among other properties, encompasses the idea of a polymorphic function.