module TypeRep where

data Type
data SourceType
data TyThing

type PredType = SourceType
type Kind = Type
type SuperKind = Type