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