Здравствуйте, Аноним, Вы писали:

А>Короче, нафиг монады, эффекты рулят :super:

Можно подумать, что монады нужны только для IO...
А destructive update тоже может быть чистым, смотреть, например, Clean.