Map over vector with union eltype makes type-inference worse

OP knows this, but related thread.