Additive/MultiplicativeMonoid for qsum/qproduct.