Alternative to importing GHC.TypeLits?

[Chris Martin]

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.

... although I'm not sure what "what be" means here. Does that mean it's a
to-do item, and that there will eventually be a separate library, but that
we should use this "internal" library directly for now?

---

GHC manual:
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html?highlight=typelits#type-level-literals

GHC.TypeLits:
https://www.stackage.org/haddock/lts-8.5/base-4.9.1.0/GHC-TypeLits.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20170331/dc07ba8a/attachment.html>