Make GHC.Types trustworthy
I don't use Safe Haskell but I was unable to import Type
in Data.Type.Ord
because of it. Should GHC.Types be marked as trustworthy?
Importing from GHC.Base forms a cycle, and Data.Kind and GHC.Types both complain about being unsafe. Where should I import it from?