Add `MonadPlus (Either e)` and `Alternative (Either e)` instances
The following 2 instances are currently Orphans in
transformers but could be defined in
base without instead:
instance Error e => MonadPlus (Either e) instance Error e => Alterantive (Either e)
This would, however, require us to move
transformers into base, which may be a controversial move.