I read it as being about Scala and similar languages, where you can not freely rewrite function compositions because they may have side effects. It may not be big problem from the programmer's point of view. But the compiler surely suffers because of that.

Interestingly, on Haskell-land the debate is about merging "do notation" and normal notation. On practice the difference is limiting, and arguably the types alone are enough to represent the difference.