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