\begin{code}
module TypeRep where

data Type
data PredType
data TyThing
\end{code}