Monadic Labeling + WIP State Monad