\begin{code}
module TypeRep where

import Outputable (Outputable)

data Type
data TyThing

type PredType = Type
type Kind = Type

instance Outputable Type
\end{code}