symbolic logic operators in haskell