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