This commit aims to improve the documentation of various symbols exported from Data.Semigroup and Data.Monoid