इसे प्रथम श्रेणी की पोलिमोर्फ़िज्मकहा जाता है। इमप्रेडीकेटिव बहुरूपता, बहुरूपी प्रकार जैसे खुद formula_2\tau सहित किसी भी प्रकार से एक प्रकार formula_2\tau में एक चर के इन्सटेनटिएशन में मदद करता है। 

प्रकार सिद्धांत में, सबसे ज्यादा अध्ययन किये जाने वाले इमप्रेडीकेटिव प्रकार λ-केल्कुली लेम्बडा घन विशेष रूप से प्रणाली एफ पर आधारित हैं। प्रेडी केटिव प्रकार सिद्धांतों में मार्टिन-Löf प्रकार सिद्धांत और NuPRL शामिल हैं।

देर से बंधित होने वाली भाषाओँ के लिए तदर्थ पोलिमोर्फ़िज्म (Ad-hoc polymorphism for late bound languages)
उदाहरण
पैरामीट्रिक पोलिमोर्फ़िज्म (Parametric polymorphism)
इमप्रेडीकेटिव पोलिमोर्फ़िज्म (Impredicative polymorphism) ("प्रथम श्रेणी" की बहुरूपता)