TcType
type TcType
type TcRhoType
type TcTauType
type TcPredType
type TcTyVar
type TcTyVarSet
type TcKind
type BoxyTyVar
type BoxyType
data BoxInfo
data SkolemInfo
type Kind
data Type
data PredType
type ThetaType
data TvSubst
type TvSubstEnv