Complex sentence: 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.
Split into simpler sentences: The function type can be considered to be a special case of the dependent product type. Among other properties, the dependent product type encompasses the idea of a polymorphic function.