change Unify not to dupricate poly variant