ఈ వాక్యం యొక్క మరింత సంక్లిష్ట సంస్కరణను రూపొందించండి సాంప్రదాయకంగా, టైప్ చేసిన లాంబ్డా కాలిక్యుల్స్ టైప్ చేయని లాంబ్డా కాలిక్యుల్స్ యొక్క శుద్ధీకరణలుగా చూడబడ్డాయి.
వాస్తవానికి, వాక్యం యొక్క మరింత సంక్లిష్టమైన సంస్కరణ "సాంప్రదాయకంగా, టైప్ చేసిన లాంబ్డా కాలిక్యుల్స్ టైప్ చేయని లాంబ్డా కాలిక్యుల్స్ యొక్క శుద్ధీకరణలుగా చూడబడ్డాయి; ప్రత్యామ్నాయంగా టైప్ చేయని లాంబ్డా కాలిక్యుల్స్ను ఒక రకం మాత్రమే ఉన్న టైప్ చేసిన లాంబ్డా కాలిక్యుల్స్ యొక్క ప్రత్యేక కేసుగా పరిగణించవచ్చు. "