\begin{code}
module TypeRep where
-import {-# SOURCE #-} TyCon ( TyCon )
-
data Type
data PredType
data TyThing
-type Coercion = Type
-
type Kind = Type
-tySuperKind :: Kind
-coSuperKind :: Kind
+type SuperKind = Type
+
+tySuperKind :: SuperKind
+coSuperKind :: SuperKind
+
+isCoercionKind :: Kind -> Bool
-isCoSuperKind :: Kind -> Bool
+isCoSuperKind :: SuperKind -> Bool
\end{code}