varTypeTyCoVars :: Var -> TyCoVarSet
-- Find the type/kind variables free in the type of the id/tyvar
varTypeTyCoVars var = fvVarSet $ varTypeTyCoFVs var
varTypeTyCoVars :: Var -> TyCoVarSet
varTypeTyCoVars var = fvVarSet $ varTypeTyCoFVs var
varTypeTyCoVars var = fvVarSet $ varTypeTyCoFVs var