On Tue, Apr 20, 2010 at 7:26 PM, John Lato
I personally wouldn't find this particularly useful. Nearly all of my monadic programming (i.e. everything that comes to mind) uses one of three types of monads: 1. IO 2. ST
(In my case I will also add Maybe and STM).
3. Monad transformers stacked on IO
Lifting functions are only useful in the third case, and then I only need "lift" and "liftIO". I do like the idea and I'm not opposed to the suggestion, I just don't see a use for it myself.
To be honest I also never used a stack of monad transformers that had another base monad than IO. So I also don't see myself using it. However I can imagine other people will use it or are already using it (users of MonadLib for example) and I'm interested in their use-cases and experiences. regards, Bas