Converting concrete ExceptT usage to MonadError