Today I want to talk about relationships between monoids. These can be useful to think about when we’re developing libraries involving monoids, and we want to express some algebraic laws among them. We can then check these with automated tests, or indeed prove them with algebraic reasoning. This post kind of fell together when writing notes on chapter 10, “Monoids”, of Functional Programming in Sc