Натуральные числа Пеано в Haskell определены как data Peano = Zero | Succ Peano
- довольно странные звери: помимо простых натуральных и нижних значений среди них есть «бесконечное целое» inf = Succ inf
.
Есть ли еще жители типа Пеано
? У этого бесконечного числа есть имя?