xor package:cond

Logical exclusive disjunction. (infixr 1)
Lifted boolean exclusive disjunction.
A boolean algebra regarded as a monoid under exclusive or