Alternative to importing GHC.TypeLits?

Chris Martin ch.martin at
Fri Mar 31 14:35:52 UTC 2017

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:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Glasgow-haskell-users mailing list