failWithM :: MonadError e m => e -> m (Maybe a) -> m a
failWithM e m = m >>= failWith e
failWithM :: MonadError e m => e -> m (Maybe a) -> m a
failWithM e m = m >>= failWith e
failWithM e m = m >>= failWith e