Initial reader writer state monad example
Getting RWST example working