Generalize the type of (++). The argument vectors need not be the same kind
of vector. It is enough that they are both pushy.