This post is full of spurious reasoning. Haskell's monads are mainly (ignoring the specifics of IO) syntactic sugar for a series of lambdas akin to a series of

This post is full of spurious reasoning. Haskell's monads are mainly (ignoring the specifics of IO) syntactic sugar for a series of lambdas akin to a series of asynchronous functions linked via callbacks. While I get that this can be hard to grok given the magic of the syntax, it has nothing to do with the difficulty of monads in math.