Merge branch 'master' of http://darcs.haskell.org/ghc
[ghc.git] / compiler / types / TypeRep.lhs-boot
1 \begin{code}
2 module TypeRep where
3
4 data Type
5 data Pred a
6 data TyThing
7
8 type PredType = Pred Type
9 type Kind = Type
10
11 isCoercionKind :: Kind -> Bool
12 \end{code}
13