make the Monoid docs more self-contained