[Haskell-cafe] I think I discovered my first Monoid instance

[Henning Thielemann]

On Tue, 29 Sep 2020, Andrew Butterfield wrote:

> Not only that, `xor` has inverses so it forms an abelian group

... and it's no surprise since 'xor' is '+' in ℤ₂.