TcType
type TcType
type TcSigmaType
type TcRhoType
type TcTauType
type TcPredType
type TcThetaType
type TcTyVar
type TcTyVarSet
type TcDTyVarSet
type TcTyCoVarSet
type TcDTyCoVarSet
type TcKind
type TcCoVar
type TcTyCoVar
type TcTyBinder
type TcTyCon
data ExpType
type ExpSigmaType
type ExpRhoType
data SyntaxOpType
data TcLevel
data UserTypeCtxt
data TcTyVarDetails
data MetaDetails
data MetaInfo
data TauTvFlavour
data OccCheckResult a
data TcDepVars
type Kind
data Type
type PredType
type ThetaType
data TyBinder
data VisibilityFlag
data TCvSubst
type TvSubstEnv
type TypeSize