failWith :: MonadError e m => e -> Maybe a -> m a
failWith e = maybe (throwError e) pure
failWith :: MonadError e m => e -> Maybe a -> m a
failWith e = maybe (throwError e) pure
failWith e = maybe (throwError e) pure