एक "प्रिनेक्स (prenex) बहुरूपी" प्रणाली में, प्रकार चर को बहुरूपी प्रकार से instantiated नहीं किया जा सकता है। यह "ML-शैली (ML-style)" या "लेट-पोलिमोर्फ़िज्म (Let-polymorphism)" के बहुत समान है (तकनीकी रूप से ML की लेट-पोलिमोर्फ़िज्ममें कुछ अन्य वाक्यात्मक प्रतिबंध (syntactic restrictions) होते है).

यह प्रतिबंध बहुरूपी और गैर बहुरूपी प्रकारों के बीच विभेद को बहुत महत्वपूर्ण बनाता है; इस प्रकार से प्रेडीकेटिव प्रणालियों में बहुरूपी प्रकार को सामान्य (एकरूपी) प्रकार से विभेदित करने के लिए कभी कभी "टाइप स्कीमाज (type schemas)" के रूप में संदर्भित किया जाता है, इन एकरूपी प्रकारों को कभी कभी "मोनोटाइप (monotypes)" कहा जाता है। 

एक परिणाम यह है कि सभी प्रकारों को एक रूप में लिखा जा सकता है, जो सभी क्वान्टीफायर्स (quantifiers) को सबसे बाहरी (प्रिनेक्स) स्थिति में रखता है। 

उदाहरण के लिए, ऊपर वर्णित codice_1 फंक्शन पर विचार करें, जिसमें प्रकार ["a" ] × ["a" ] → ["a" ] है; इस फंक्शन को सूची के एक युग्म पर लागू करने के लिए, एक प्रकार को फंक्शन के प्रकार में चर "a" के लिए इस प्रकार से प्रतिस्थापित किया जाना चाहिए, तर्क का प्रकार परिणामी फंक्शन प्रकार से मेल खाए.
एक "इमप्रेडीकेटिव" प्रणाली में, प्रतिस्थापित किया जाने वाला प्रकार कोई भी ऐसा प्रकार हो सकता है, जिसमें एक ऐसा प्रकार शामिल हो जो खुद बहुरूपी हो; इस प्रकार से codice_1 को किसी भी प्रकार के तत्वों से युक्त सूची के युग्म पर लागू किया जा सकता है-- यहां तक कि बहुरूपी फंक्शन की सूची जैसे खुद codice_1 पर भी लागू किया जा सकता है। 

भाषा ML और इसके निकट सम्बन्धियों में पोलिमोर्फ़िज्मप्रेडीकेटिव है। इसका कारण यह है कि प्रेडीकेटिवीटी, अन्य प्रतिबंधों के साथ, प्रकार प्रणाली को इतना साधारण बनाती है कि प्रकार निष्कर्ष संभव हो जाता है। भाषाओं में जहां बहुरूपी फंक्शन को लागू करते समय स्पष्ट प्रकार के एनोटेशन आवश्यक हैं प्रेडीकेटिवीटी प्रतिबन्ध कम महत्वपूर्ण हैं; इस प्रकार से ये भाषाएं सामान्यतया इम प्रेडीकेटिव होती हैं। 
हास्केल प्रेडीकेटिवीटी के बिना लेकिन कुछ जटिलताओं के साथ प्रकार निष्कर्ष प्राप्त कर लेता है। 

रैंक-"n" ("उच्च-रैंक") पोलिमोर्फ़िज्म
प्रारंभिक बंधित भाषाओँ के लिए तदर्थ पोलिमोर्फ़िज्म (Ad-hoc polymorphism for early bound languages)
रैंक-1 (प्रिनेक्स) पोलिमोर्फ़िज्म
रैंक- "k" पोलिमोर्फ़िज्म