[Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

[Henning Thielemann]

On Mon, 16 Feb 2009, Louis Wasserman wrote:

> Overnight I had the following thought, which I think could work rather well.  The most basic
> implementation of the idea is as follows:
> 
> class MonadST s m | m -> s where
> liftST :: ST s a -> m a
> 
> instance MonadST s (ST s) where ...
> instance MonadST s m => MonadST ...

Like MonadIO, isn't it?