Результат монады внутри преобразователя монад

Это мое первое знакомство с преобразователями монад, поэтому ответ может быть очевиден.

Допустим, я нахожусь внутри блока do типа StateT MyMonad MyType, я хочу, чтобы другая функция того же типа изменяла состояние и возвращала значение типа MyMonad MyType. Как я могу этого добиться? Я думаю, что примеры здесь показывают это в guessSession, но я не могу понять, как это применить!