[Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl
lemming at henning-thielemann.de
Wed Feb 18 18:40:00 EST 2009
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?
More information about the Haskell-Cafe