GHC.TypeLits module Haddocks contradict the GHC manual
The Haddocks of GHC.TypeLits state:
This module is an internal GHC module. It declares the constants used in the implementation of type-level natural numbers. The programmer interface for working with type-level naturals should be defined in a separate library.
In contradiction, the Type-Level Literals section of the GHC user's guide recommends importing this module.
Here is an example of using type-level numeric literals to provide a safe interface to a low-level function:
import GHC.TypeLits
If it is the Haddocks that are correct, then I suspect that their lack of mention of what the separate library is (I have not found it) is an accidental omission.
I believe the Haddocks contain an additional error (which is ancillary to the main issue here): It states that the module is for "type-level naturals", which seems misleading because the module exports things related to both type-level naturals (the Nat
kind) and also type-level strings (the Symbol
kind) in roughly equal proportion.