Update monoid.md