型是formula_18。这个类型的项由有类型版本的邱奇数构成，前几个是：如果我们反转curried参数的次序（比如formula_23），则formula_24的邱奇数是接受函数"f"作为参数并返回"f"的"n"次幂的函数。就是说，邱奇数是一个高阶函数-- 它接受一个单一参数函数"f"，并返回另一个单一参数函数。
用在编程语言中.本文用的系统F版本是显式类型的，或邱奇风格的演算。包含在λ-项内的类型信息使类型检查直接了当。Joe Wells（1994）设立了一个"难为人的