[ReleaseCandidat]

> Ultimately, that's very similar to what old-school ways of declaring Promises do in Javascript.

Yes, and monadic code suffers from the same problem, that's why Haskell has do-notation

   do 
     b <- fun1 a
     c <- fun2 b 
     pure c   -- using Purescript's pure instead of Haskell's `return` 

instead of

   bind(fun1, (a) => bind(fun2, (b) => pure(b)))