Subclasses of Monoid with a solid theoretical foundation and practical purposes - View it on GitHub