[Haskell-cafe] extending Do notation

[silvio]

> Your email is on the assertion-heavy side. Would you reconsider
> restating your case?

1) >>= flip  is ugly

2) you can't use >>= in an if condition

3) or imagine you want to fill it in some 3-tuple or a record type.

4) res <- fmap pureFunction ioFunction === let res = pureFunction {
ioFunction}

There are tons of cases that we have solved with complicated
combinations of operators and functions that could be displayed much
clearer with this notation.


silvio