Type.Reflection.Unsafe
data TypeRep a
mkTrApp
mkTyCon
data KindRep
data TypeLitSort
data TyCon
mkTrCon
tyConKindRep
tyConKindArgs