Every monadic expression needs to be "run", and it turns out that with a different run function that exact code could be made to execute in parallel. In practic

Every monadic expression needs to be "run", and it turns out that with a different run function that exact code could be made to execute in parallel. In practice, though, you would probably use an explicit parallel combinator.