[marcosdumay]

> But usually nobody cares about or checks whether your implementation of the operator your overriding still obeys all the axioms.

Make some non-associative implementation of (+) and see on how many compilers code using it will work.