G'day all.
Quoting Jonathan Cast <jonathanccast@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.
Cheers,
Andrew Bromage
