Higher-ranked type

Redirect to:

• Parametric polymorphism#Higher-ranked polymorphism