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
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow- haskell-users