Тони Моррис поговорил с этим фрагментом.
Он использует монаду ReaderWriterState для обеспечения управляемого доступа чтения/записи к неявному контексту. Это имеет смысл.
Как использовать код? Я хотел бы увидеть пример "основной" программы, которая использует эту монаду.