Language Higer Rank Types / Rank N Types Higer Rank Types / Rank N Types Higer Rank Types / Rank N Types Higher-Rank Polymorphism in Scala Higher-rank and higher-kinded types Add support for higher-rank types