\begin{code}
module TypeRep where

data Type
data PredType
data TyThing

type Kind = Type

type SuperKind = Type

tySuperKind :: SuperKind
coSuperKind :: SuperKind

isCoercionKind :: Kind -> Bool

isCoSuperKind :: SuperKind -> Bool
\end{code}