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?

---