Adding monoid instances of pretty much everything