[frogulis]

While you may oversimplify a little, I think the core idea of your comment is pretty useful for learning. Unfortunately the first monads one encounters when learning Haskell are typically Maybe and IO. There are good practical reasons for this, but an early analogy to Async would probably make the idea a lot clearer.

Self-plug: I even wrote a short post about this quite recently, after making a similar comment on HN (https://frogulis.net/writing/async-monad)

[xupybd]

When learning Monads in F# I felt like I'd seen this before. Promises in JavaScript were the first time I'd seen them. I just didn't know what they were at the time.