\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
+isCoercionKind :: Kind -> Bool
+
isCoSuperKind :: SuperKind -> Bool
\end{code}