> 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 w

> 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)))