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