Make Vector a Monoid