As pointed out earlier in this list, the name of the class and the methods are inconsistent. Monoid refers to a general algebraic structure, whereas mempty and mappend refer to certain instances like lists.

Thank you for articulating what I was trying to get at. -- -- Regards, KC