[judk]

I like how the misconception is introduced by the standard library itself misnaming its own method `sequence`.

[sfvisser]

It's not entirely right to call this a misconception. The monadic bind is inherently sequential. The right hand side of the bind might compute a computation based on the result of the left hand side of the bind.

[tel]

It is sequencing—but just not in "time". It sequences in "potential dependency order". This is most clear if you look at free monads.