में उच्च प्रकार के प्रकार (मोनैड!) को एम्बेड करना उच्च आदेश कार्यों के माध्यम से अनियमित लैम्ब्डा कैलकुस में विभिन्न प्रकारों को एन्कोड करना संभव है। Examples:
zero = λfx. x
one = λfx. fx
two = λ
क्या कुछ फ़ंक्शन के अवांछित पैरामीटर के लिए एक अविकसित निरंतर के रूप में शून्य को पास करना संभव है? मेरे पास इस तरह के फ़ंक्शन हैं और मैं कंपाइलर को संतुष्ट करने के लिए Data पैरामीटर पर कुछ निरंतर पास