[marcosdumay]

You can't get deadlocks and data races on pure code.

Once your code is in a monad, every one of those problems may be back (including memory race).

[elihu]

The IO monad in particular. Monads by themselves don't introduce races/deadlocks.