Add applicative and monad for Neg