Upgrading Semigroup Data Types to Monoids by Thomas Greco