[Haskell-cafe] MonadTrans lift implementation

ajb at spamcop.net ajb at spamcop.net
Mon Jan 19 19:00:24 EST 2009

G'day all.

Quoting Jonathan Cast <jonathanccast at fastmail.fm>:

> (By the way, you *do* have the equations
>     lift (return x) = return x

Right.  And you could, at least in principle, implement "return" this
way in all monad transformers.

Andrew Bromage

More information about the Haskell-Cafe mailing list