Improve documentation of Semigroup & Monoid
This patch aims to improve the documentation for Data.Semigroup
and Data.Monoid
.
I focused on making the way examples are presented more unified, as well as adding examples as I saw appropriate.
Tracking: #17929 @core-libraries