[Haskell-cafe] MonadTrans lift implementation

Brent Yorgey byorgey at seas.upenn.edu
Mon Jan 19 16:08:02 EST 2009


On Mon, Jan 19, 2009 at 01:03:55PM -0800, Daryoush Mehrtash wrote:

>     lift m   = ReaderT $ \_ -> m
>     return a = ReaderT $ \_ -> return a

If you look carefully you will see that these are not the same.

-Brent


More information about the Haskell-Cafe mailing list