@hackage / peano-inf

Lazy Peano numbers including observable infinity value.