Create types with Semigroups by Brian Lonsdorf