Check the Equal and Monoid laws of Vec.