在学术上是有趣的，但不切实际，因为它使得单元与任何其他方案过程不可区分，以及引入不必要的计算低效。然而，相同种类的编码可以用于具有变体的更复杂的代数数据类型，其中它甚至可能变得比其他类型的编码更有效。这种编码还具有可以在不具有变体的静态类型语言（例如Java）中实现的优点，使用接口而不是 lambdas。
邱奇配对.邱奇配对是以邱奇编码的配对（二元组）类型，表示作用在两个参数之上的函数。当给予参数时，它会将函数应用于该配对的两个组件。 lambda演算中的定义是，例如,