nextInputId :: Monad m => BuilderT g m InputId
nextInputId = do
    id <- use bs_next_inp
    bs_next_inp += 1
    return id
nextInputId :: Monad m => BuilderT g m InputId
nextInputId = do
    id <- use bs_next_inp
    bs_next_inp += 1
    return id
nextInputId = do
    id <- use bs_next_inp
    bs_next_inp += 1
    return id