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. Cheers, Andrew Bromage