इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें सरल टाइप किया गया लैम्ब्डा कैलकुलस (\\ लैम्ब्डा ^ \\ to ) एक टाइप किया गया लैम्ब्डा कैलकुलस है जिसका केवल संयोजक \\ to (फंक्शन प्रकार) है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "सरल टाइप किया गया लैम्ब्डा कैलकुलस (\\ lambda ^ \\ to) एक टाइप किया गया लैम्ब्डा कैलकुलस है जिसका केवल संयोजक \\ to (फंक्शन प्रकार) है, इस प्रकार यह कैनोनिकल है, और कई मायनों में टाइप किया गया लैम्ब्डा कैलकुलस का सबसे सरल उदाहरण है। "