> All this is relevant for Haskell and irrelevant in Scala, where you don't have to compose functions to ensure order of evaluation.

Promises and Futures are counterexamples to your claim here.