Fun with propositional logic in Haskell