Creating Semigroup Data Types from Scratch by Thomas Greco