A Boolean Ring over any Bits instance. Note well that the mappend of this ring is xor. You should use use Ord from Data.Ring.Semi.Ord.Order on Bool to get the '&&'/'||'-based distributive-lattice SemiRing.

Also note that gnegate = id in a Boolean Ring!