Removed the spurious Error constraint from MonadError e (Either e).
Added a CHANGELOG