Support unboxed types within Safe Haskell
Currently, it is not possible to use unboxed types such as
Int# or levity polymorphism (
TYPE) with Safe Haskell, because
GHC.Types are marked as unsafe.
As a first step, we could export
TYPE from the module
See also thread "Exposed # kinded variables + polykinded Prelude classes?" at the libraries mailing list, Oct 2019.