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