<div dir="ltr"><div>The GHC manual gives code examples that import GHC.TypeLits. The documentation on that module seems to request that users /not/ import it ...</div><div><br></div><div>> This module is an internal GHC module. [...] The programmer interface for working with type-level naturals should be defined in a separate library.<br></div><div><br></div><div>... 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?</div><div><br></div><div>---</div><div><br></div>GHC manual: <a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html?highlight=typelits#type-level-literals">https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html?highlight=typelits#type-level-literals</a><div><br><div>GHC.TypeLits: <a href="https://www.stackage.org/haddock/lts-8.5/base-4.9.1.0/GHC-TypeLits.html">https://www.stackage.org/haddock/lts-8.5/base-4.9.1.0/GHC-TypeLits.html</a></div></div><div><br></div></div>