Higher-ranked polymorphism