"Coins" is now a monoid! :on: