TcMType
type TcTyVar
type TcKind
type TcType
type TcTauType
type TcTyVarSet
data Rank