Added the MonadError instance.