TypeVars.Free extracted out of Subst.CanSubst