monoid of bool with infix ^ operation. Will be true iff an odd number of
elements is true. This gives the even parity.