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