\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
\end{code}