09Idiom: reformulate Monoid comment