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

[Jaro Reinders]

But we're talking about xor for the Word64 type, so it is slightly more
complicated to prove that it has a unit.