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

[Sittampalam, Ganesh]

Henning Thielemann wrote:
> 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?

I think it should be, except that you need to track 's' somewhere.

Ganesh

==============================================================================
Please access the attached hyperlink for an important electronic communications disclaimer: 

http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html
==============================================================================