RE: [Haskell-cafe] Redefining Disjunction