Almost there, I think. Thank you @julienledem ! That said, I think the last thing we need is to test the monoids which take arguments. I think this needs a test of mapMonoid with different key types and stuff, to make sure that it all meshes together properly. Sound fair?