Already familiar with TOC and compiler design. Need a reference paper to get familiar with monadic compilers.