[Haskell-cafe] Smarter do notation

[Stephen Tetley]

It seems like complication for very slight advantage.

Firstly, so far only UU Parsing and Trifecta appear to have optimized
Applicative instances (does the optimization work for mixed
Monad+Applicative parsers or only if the whole parser is
Applicative?). Secondly if you want Applicative then you can write in
the Applicative style, often as succinct as do-notation.