इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें जबकि लैम्ब्डा कैलकुलस में केवल एक प्रकार का फ़ंक्शन A → B है, एक श्रेणीबद्ध व्याकरण में आमतौर पर अधिक होते हैं ।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "जबकि लैम्ब्डा कैलकुलस में केवल एक प्रकार का फ़ंक्शन ए → बी है, श्रेणीबद्ध व्याकरण में दो प्रकार के फ़ंक्शन ए / बी और ए \\ बी हैं, इस बात पर निर्भर करता है कि फ़ंक्शन अपना तर्क बाएं या दाएं से लेता है। "