[Haskell-cafe] extending Do notation

[Niklas Haas]

On Tue, 20 May 2014 15:39:45 +0200, silvio <silvio.frischi at gmail.com> wrote:
> > 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.

Are we reinventing idiom brackets here?