G'day all. Quoting Jonathan Cast <jonathancc...@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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
