bagof.hints.typevars Reusable TypeVars. Modules: Name Description co Covariant TypeVars. contra Contravariant TypeVars. infer TypeVars with inferred variance. inv Invariant TypeVars.