monad: State (Int, Int)