[Haskell-cafe] negate and -