1 2 3 4 5 6 7 8 9 10 11 12 13 14
\begin{code} module TypeRep where import Outputable (Outputable) data Type data TyThing type PredType = Type type Kind = Type instance Outputable Type \end{code}