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 Error
from transformers
into base, which may be a controversial move.