Polymorphic type system

A type system that allows types to contain variables (like List<T>, $\forall$ a. a $\to$ a), enabling one definition to work across many types through type abstraction.

A type system that allows types to contain variables (like List<T>, ∀a. a -> a), enabling one definition to work across many types through type abstraction.