Update to the monoids post