sumColVectors is Product which needs Ring?