_interface_ TypeRep 1
-_exports_ TypeRep Type Kind SuperKind ;
+_exports_ TypeRep Type SourceType PredType Kind SuperKind ;
_declarations_
1 data Type ;
+1 data SourceType ;
+1 type PredType = SourceType ;
1 type Kind = Type ;
-1 type SuperKind = Type ;;
+1 type SuperKind = Type ;