@@ -18,7 +18,6 @@ import Control.Monad.Reader
1818import Control.Monad.Ref
1919import Control.Monad.State.Strict
2020import Data.Dependent.Map (DMap, DSum (..))
21−import Data.Foldable
2221import Data.Functor.Misc
2322import Data.Map (Map)
2423import qualified Data.Map as Map
@@ -174,7 +173,7 @@ instance (MonadAdjust t m, MonadFix m, Monoid w, MonadHold t m, Reflex t) => Mon
174173 -- 1. Incrementally merging the Dynamics
175174 -- 2. Incrementally updating the mconcat of the merged Dynamics
176175 i <- holdIncremental liftedWritten0 liftedWritten'
177− tellDyn $ join $ fold . dmapToMap <$> incrementalToDynamic i
176+ tellDyn $ join $ mconcat . Map.elems . dmapToMap <$> incrementalToDynamic i
178177 return (liftedResult0, liftedResult')
179178
180179withDynamicWriterT :: (Monoid w, Reflex t, MonadHold t m, MonadFix m)