"k" के किसी निश्चित मान के लिए, रैंक-"k" पोलिमोर्फ़िज्मएक प्रणाली है जिसमें एक क्वान्टीफायर "k" एरो से अधिक के बायीं और प्रकट नहीं हो सकता (जब प्रकार को एक पेड़ के रूप में चित्रित किया जाता है).

रैंक-2 पोलिमोर्फ़िज्मके लिए प्रकार पुनर्निमाण को निर्धारित किया जा सकता है, लेकिन रैंक-3 और उपरोक्त का पुनर्निमाण नहीं किया जा सकता है। 

रैंक- "k" पोलिमोर्फ़िज्म
प्रेडीकेटिव पोलिमोर्फ़िज्म (Predicative polymorphism)
रैंक-1 (प्रिनेक्स) पोलिमोर्फ़िज्म
रैंक प्रतिबंध (Rank restrictions)