Re: [Haskell-cafe] Propositional logic implementation