Simplify constraint for Alternative instance to just MonadPlus