Es posible codificar varios tipos en el cálculo lambda sin tipo a través de funciones de orden superior. Examples:
zero = λfx. x
one = λfx. fx
two = λfx. f(fx)
three = λfx. f(f(fx))
etc
true
¿es posible pasar nil como una constante no declarada al parámetro sin tipo de alguna función? Tengo funciones como estas y me gustaría pasar alguna constante al parámetro Data para satisfacer al comp