TcType
type TcType
type TcSigmaType
type TcRhoType
type TcTauType
type TcPredType
type TcThetaType
type TcTyVar
type TcTyVarSet
type TcKind
type TcCoVar
data TcLevel
data UserTypeCtxt
data TcTyVarDetails
data MetaDetails
data MetaInfo
data OccCheckResult a
type Kind
data Type
type PredType
type ThetaType
data TvSubst
type TvSubstEnv