Re: [Haskell-cafe] How to express a logic matrix clearly?