ถ้าคุณมองไปที่ combinators recursive ใน untyped แลมบ์ดาแคลคูลัสเช่น Combinator Y Combinator หรือโอเมก้า:
นอกจากนี้ทุก combinators เหล่านี้เป็น typeable ในแคลคูลัสแลมบ์ดาเพียงแค่พิมพ์ถ้าคุณขยายประเภท recursive ซึ่งได้รับอนุญาตให้เกิดขึ้นในทางลบในประเภทซ้ำ
อย่างไรก็ตามจะเกิดอะไรขึ้นถ้าคุณเพิ่มชนิดเรียกซ้ำแบบเต็ม (ลบเกิดขึ้น) ลงในแฟรกเมนต์เชิงเส้นของตรรกะเชิงเส้น (เช่น MALL) แบบไม่มีเลขชี้กำลัง
จากนั้นคุณไม่มีเลขชี้กำลัง
เป็นกรณีที่ MALL บวกประเภทเรียกซ้ำที่ไม่ จำกัด ยังคงเป็นมาตรฐานอยู่หรือไม่?