в реальном мире Writer вообще для чего-нибудь, кроме логов?
Вроде нет, ибо течет, емнип.
Я его вместе с ListT применял, пока на инстансе MonadFix у ListT не подорвался. Writer можно безопасно использовать в каких-то коротких конечных действиях. А вместо ListT на добрать LogicT
Я в одной рабочей утилите граф зависимостей (у него есть инстанс моноида) собираю при обходе дерева зависимостей.
Обсуждают сегодня