Add a warning flag for when the Prelude is implicitly imported (trac #1317)

[ghc-hetmet.git] / compiler / types / TypeRep.lhs-boot

\begin{code}
module TypeRep where

data Type
data PredType
data TyThing

type Kind = Type

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