Descrição
Fornece números de Peano para Haskell. Números de Peano representam naturais por um valor zero e sucessores repetidos, algo útil em programação em nível de tipos e exemplos formais.
É útil para ensino, provas, experimentos em nível de tipos e bibliotecas que precisam de uma representação estrutural simples de números naturais. É uma biblioteca para desenvolvedores e não possui interface independente.