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