Rank (type theory)

Redirect to:

• Parametric polymorphism#Higher-ranked polymorphism