Headline

A form of bounded polymorphism applying to all subtypes of a given type

Headline

A form of polymorphism with a bound for feasible actual type parameters

Illustration

• See polymorphism for a simple illustration.
• See type classes for a more profound illustration.

Headline

A type that is substitutable for another type according to the type system