Given any type, can I somehow turn it into a monoid in a sensible way?
medium.com