इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें क्रमबद्ध प्रकार गैर-परिवर्तनशील तर्क के अनुरूप हैं जहां विनिमय, संकुचन और कमजोर को छोड़ दिया जाता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "क्रमबद्ध प्रकार गैर-परिवर्तनशील तर्क के अनुरूप हैं जहां विनिमय, संकुचन और कमजोर पड़ने को खारिज कर दिया जाता है और स्टैक-आधारित मेमोरी आवंटन के मॉडल के लिए इस्तेमाल किया जा सकता है (रेखीय प्रकारों के विपरीत जो ढेर-आधारित मेमोरी आवंटन के मॉडल के लिए इस्तेमाल किया जा सकता है) ।"