Type
data TyThing
data Type
data VisibilityFlag
type KindOrType
type PredType
type ThetaType
data Var
type TyVar
type TyCoVar
data TyBinder
data TyCoMapper env m
data PredTree
data EqRel
type Kind
type UnaryType
data RepType
type TvSubstEnv
data TCvSubst
data TyPrec