На Хаскеле обычный IO действительно очень легко писать и все параллеится из коробки, но вот рано или поздно появляется мутабельное общее состояние и модель STM мне как-тонн зашла вместе с MVar. Хотя много канкаренси в таком духе я не писал на Хаскеле. Или ты только про кейсы где «обычное» IO?
Речь именно про STM, MVar, IORef и т.п.