<https://stackoverflow.com/questions/26581100/mono...

# arrow-contributors

[jacob]

https://stackoverflow.com/questions/26581100/monoid-bool-in-haskell suggests that Haskell solves this the same way they solve the monoid problem for numbers, by using newtypes to support both