इस वाक्य का एक और जटिल संस्करण उत्पन्न करें उदाहरण के लिए, GHC मानक पुस्तकालय में, वर्ग IArray एक सामान्य अपरिवर्तनीय सरणी इंटरफ़ेस को व्यक्त करता है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "उदाहरण के लिए, GHC लाइब्रेरी में, एक सामान्य अपरिवर्तनीय सरणी इंटरफ़ेस एक वर्ग IArray का उपयोग करके व्यक्त किया जाता है, जहां प्रकार वर्ग बाधा IArray a e इस तथ्य को व्यक्त करता है कि a एक सरणी प्रकार है जो प्रकार e के तत्वों को रखने में सक्षम है। "