Polymorphic Function Types

Polymorphic function types allow function type hints to be generic over type parameters, enabling higher-order functions to express precise type relationships between their arguments and return values.