@@ -179,7 +179,7 @@ instance (MonadQuery t q m, Monad m) => MonadQuery t q (EventWriterT t w m) wher
179179 queryIncremental = lift . queryIncremental
180180
181181-- | Map a function over the output of a 'EventWriterT'.
182−withEventWriterT :: (Monoid w, Monoid w', Reflex t, MonadHold t m, MonadFix m)
182+withEventWriterT :: (Semigroup w, Semigroup w', Reflex t, MonadHold t m, MonadFix m)
183183 => (w -> w')
184184 -> EventWriterT t w m a
185185 -> EventWriterT t w' m a