[Haskell-cafe] Propositions in Haskell