Как поместить изменяемый Вектор в Государственную Монаду

Я написал небольшую программу на haskell для подсчета всех вхождений значений Int в Tree, используя State Monad с Vector:

Модульная разработка программ - объединение монадных трансформаторов в функции монадной агностики

Я пытаюсь придумать дизайн модульной программы и еще раз прошу вашей помощи. Как продолжение этих следующих постовМонадные Трансформаторы против ...

Аппликативный экземпляр для MaybeT m предполагает Monad m

Примеры аппликативных трансформаторов Haskell

 запись данных в основную монаду пут. И эта проблема существует в вашем исходном коде, который я изменил точно так же, как в коде, который я предоставил. Итак, время для нового подхода.

о моемупредыдущий вопрос [https://stackoverflow.com/questions/4828902/why-wrapping-the-data-binary-put-monad-creates-a-memory-leak] Я пытаюсь заключить монаду Data.Binary.Put в другую монаду, чтобы позже я мог задать ей такие вопросы, как ...

Объединить F # асинхронное и, возможно, вычислительное выражение

Скажи, что я хочу вернуть

Выполните простой ввод-вывод в Haskeline, внутри монады InputT, не прибегая к unsafePerformIO

Примеры аппликативных трансформаторов Haskell

MonadBaseControl: как поднять ThreadGroup

Впотоки пакет в модуле

Как спроектировать монадический стек?

Как вы проектируете и строите свои монадические стеки? Впервые мне нужно собрать монадический стек (с использованием преобразователей), чтобы решить реальную...