úΞoBcollect free type variables (e.g. a1, a2, ...) without duplicates substitue a type variable substitue many type variables polytypeable-utils-0.1.0.0Data.PolyTypeable.Utils freeTyVars substTyVar substTyVars