module TypeRep where

data Type
data PredType
data TyThing
type Kind = Type
isCoercionKind :: Kind -> GHC.Base.Bool