Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>Это если какая-нибудь IO. В случае с ST есть runST — таким образом как раз реализуется сценарий "внутри функции мутации локальных переменных, а наружу выдаётся чистый немонадный результат".

да, спутал. у меня другая монада была.