इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें फ़ंक्शन प्रकार को निर्भर उत्पाद प्रकार का एक विशेष मामला माना जा सकता है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "फंक्शन प्रकार को आश्रित उत्पाद प्रकार का एक विशेष मामला माना जा सकता है, जो अन्य गुणों के बीच, एक बहुरूपी फ़ंक्शन के विचार को शामिल करता है। "