монада состояния чтения-записи -как запустить этот код Scala

Тони Моррис выступил с этим фрагментом .

Он использует монаду ReaderWriterState для предоставления контролируемого доступа для чтения/записи к неявному контексту. Это имеет смысл.

Как использовать код? Хотелось бы увидеть пример "основной" программы, использующей эту монаду.