[Haskell-cafe] If monads are single/linearly threaded, doesn't that reduce parallelism?

[Matthias Görgens]

Monads are not commutative.  A structure that would tell the compiler
that it's commutative, would give it more leeway for optimization (and
parallel execution).