This is how it was done in the old API (sumColVectors but with Monoid, because it was not implemented as Product), but there is no gain, so I'll change it.