__interface TypeRep 1 0 where
-__export TypeRep Type PredType Kind SuperKind ;
+__export TypeRep Type SourceType PredType Kind SuperKind TyThing ;
1 data Type ;
-1 data PredType ;
+1 data SourceType ;
+1 data TyThing ;
+1 type PredType = SourceType ;
1 type Kind = Type ;
1 type SuperKind = Type ;