[Haskell-cafe] Re: [Haskell] Top Level <-

Ashley Yakeley ashley at semantic.org
Tue Aug 26 00:52:02 EDT 2008

John Meacham wrote:
> ... if ACIO is well defined which I think it is.

Affine: ma >> mb = mb

  do {a <- ma;b <- mb;return (a,b)} = do {b <- mb;a <- ma;return (a,b)}

...for some concept of "=".

Is this correct? Are there any other constraints?

More information about the Haskell-Cafe mailing list