[Choc13]

Yes! I've written about this from an F# perspective, which calls them 'computation expressions' instead of 'do notation', here https://dev.to/choc13/grokking-monads-imperatively-394a

If the author really doesn't like the "imperative" syntactic sugar then it's always possible to write equivalent code without it, but it quickly becomes painful for more complex situations.

'do notation' is just a more generalised version of what async/await does. No one wants to go back to writing async code with callbacks / continuations.