@hackage PeanoWitnesses0.1.0.0

GADT type witnesses for Peano-style natural numbers.

Witnesses for Peano naturals are unary natural numbers paired with a natural number type index. These terms act as witnesses of a particular natural; we can recover the type information by examining the terms.