Re: [Haskell-cafe] Re: Monad transformers

On Sun, May 08, 2005 at 10:19:28PM +0400, Max Vasin wrote:

On Sun, 8 May 2005 18:34:37 +0200, Tomasz Zielonka said:

...

On Sun, May 08, 2005 at 07:54:43PM +0400, Max Vasin wrote:

...

f :: ReaderT env monad1 rtype g :: Reader env rtype

...

How about: toReaderT :: (Monad m) => Reader r a -> ReaderT r m a toReaderT (Reader f) = ReaderT (return . f)

Thanks.

You can also make 'g' more generic, using the MonadReader type-class. Best regards Tomasz