@hackage fast-nats0.1.0.0

Dependent Singleton like natural numbers without the Singleton dependency. The implementation uses inductive naturals at the type level but machine integers at the term level.