Hello, I come across the paper "Monad Transformers and Modular Interpreters" (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.268) alas the code is in Gofer and I'm not certain how all of it translates to Haskell. Are there other papers out there that translate this to Haskell? Günther