setMinIndices :: Monad m => Idx -> IdxMonad m ()
setMinIndices minIdx = do
  modify (\st -> map (max minIdx) st)
  return ()

-- |Creates a new id (for the list of ids specified by the first paramter)
setMinIndices :: Monad m => Idx -> IdxMonad m ()
setMinIndices minIdx = do
  modify (\st -> map (max minIdx) st)
  return ()

-- |Creates a new id (for the list of ids specified by the first paramter)
setMinIndices minIdx = do
  modify (\st -> map (max minIdx) st)
  return ()

-- |Creates a new id (for the list of ids specified by the first paramter)