Tony Morris gave a talk with this snippet.
He's using ReaderWriterState monad to provide controlled read/write access to an implicit context. That makes sense.
How do I use the code? I would like to see an example "main" program that uses this monad.