Re: type-level induction on Nat

Am 16.03.2014 11:29, schrieb Henning Thielemann:

Since the unary natural number kind so ubiquituous in examples, is there a recommended module to import it from, which also contains the injectivity magic of FromNat1? I cannot see it in:

http://hackage.haskell.org/package/base-4.7.0.0/candidate/docs/GHC-TypeLits....

although it seems to have been there: http://co-dan.github.io/base-docs/src/GHC-TypeLits.html

Nat1 was removed here: https://github.com/ghc/packages-base/commit/5eaba365ff2354d3231f049866964d25... but commit message does not tell where it was moved. :-( Obviously it was not moved to "singletons".