Add monoids to std lib