module TypeRep where

data Type
data PredType
type Kind = Type
type SuperKind = Type