type-level induction on Nat

Henning Thielemann lemming at henning-thielemann.de
Sun Mar 16 10:50:51 UTC 2014

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-
> although it seems to have been there:
>    http://co-dan.github.io/base-docs/src/GHC-TypeLits.html

Nat1 was removed here:

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

More information about the Glasgow-haskell-users mailing list