module TypeRep where

data Type
data PredType
data TyThing
type Kind = Type