Hi,
the initial plan was that `GHC.TypeLits` should provide just the basic
functionality, and later other libraries would be build to provide more
convenient functions for specific applications. I don't know of any such
convenience libraries, so at present, people just import `GHC.TypeLits`
The GHC manual gives code examples that import GHC.TypeLits. The
documentation on that module seems to request that users /not/ import it ...
> This module is an internal GHC module. [...] The programmer interface for
working with type-level naturals should be defined in a separate library.
...
==
CALL FOR PAPERS
FHPC 2017
The 6th ACM SIGPLAN Workshop on
Functional High-Performance Computing
Oxford,
CALL FOR PAPERS
19th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2017
Namur, Belgium, October 9-11,