\begin{code}
module TypeRep where

data Type
data Pred a
data TyThing

type PredType = Pred Type
type Kind = Type

isCoercionKind :: Kind -> Bool
\end{code}