@@ -1,4 +1,4 @@
1−{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, TypeFamilies, GeneralizedNewtypeDeriving, UndecidableInstances, StandaloneDeriving #-}
1+{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, TypeFamilies, GeneralizedNewtypeDeriving, UndecidableInstances, StandaloneDeriving, FunctionalDependencies #-}
22module Reflex.Dom.DynamicWriter where
33
44import Reflex
@@ -67,5 +67,8 @@ runDynamicWriterT (DynamicWriterT a) = do
6767 w <- mconcatDyn $ reverse ws
6868 return (result, w)
6969
70−tellDyn :: Monad m => Dynamic t w -> DynamicWriterT t w m ()
71−tellDyn w = DynamicWriterT $ modify (w:)
70+class Monad m => MonadDynamicWriter t w m | m -> t w where
71+ tellDyn :: Dynamic t w -> m ()
72+
73+instance Monad m => MonadDynamicWriter t w (DynamicWriterT t w m) where
74+ tellDyn w = DynamicWriterT $ modify (w:)