Resta de numerales de iglesia en haskell

Listas de iglesias en Haskell

Cálculo lambda en Haskell: ¿hay alguna manera de hacer que los números de la Iglesia se verifiquen?

scheme - Aritmética con números de iglesia