correcting monoid/associativity example