On Sun, Nov 22, 2009 at 3:47 AM, Felipe Lessa <felipe.lessa at gmail.com> wrote: > ... > Well, “ReaderT XConf (StateT XState IO) a” is *the* type :). > It's a monad that is a Reader of XConf and has a State of XState. ... and also wraps a monad to allow IO access inside the X monad. Cristiano