xor assoc truth table

data Bit = On | Off deriving Eq

bits = [On, Off]

xor On Off = On
xor Off On = On
xor _ _ = Off

results = do
  x <- bits
  y <- bits
  z <- bits
  return $ xor (xor x y) z == xor x (xor y z)
  
main = print $ and results