Xor
monoids