Dropping MonadExceptionUtilities constraint