type-level induction on Nat

[Henning Thielemann]

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.html
>
>
> 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/5eaba365ff2354d3231f049866964d25f245ede2

but commit message does not tell where it was moved. :-( Obviously it 
was not moved to "singletons".