Generalize MonadIO to MonadBase

Bas van Dijk v.dijk.bas at
Tue Apr 20 16:53:40 EDT 2010

On Tue, Apr 20, 2010 at 7:26 PM, John Lato <jwlato at> wrote:
> 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.



More information about the Libraries mailing list