I put a more comprehensive MonadBase module on the wiki at: http://haskell.org/haskellwiki/NewMonads Nine Base Monads: IO STM ST ST.Lazy GenParser [] Maybe Either (->) Seven MonadTrans: ListT ContT ErrorT ReaderT StateT WriterT RWST