[Haskell-cafe] Redefining Disjunction