Polymorphism

Polymorphism is the ability for types and values to be parameterised by a type.