раз - монада, два - монада

[sassa_nf]

Вот есть у меня монада Console. Теперь среди нескольких операций над состоянием Console мне нужно выполнить что-то в IO. И чо? Теперь вместо (Console a) мне нужно везде делать (Console (IO a))? А потом как? (Console (IO (ST (RWS (IO (Console (... a)))?

Или чё, просто ReaderWriter всем раздать?

Comments

[sassa-nf.livejournal.com]

Чё, уже? Что-то быстро я в них упёрся. Я что-то не так делаю?