@@ -23,8 +23,8 @@ import qualified Effectful.Writer as WP
23import qualified Effectful.Writer.MVar as WM
23import qualified Effectful.Writer.MVar as WM
25data Writer w :: Effect where
25data Writer w :: Effect where
26− Tell :: ~w -> Writer w m ()
26+ Tell :: ~w -> Writer w m ()
27− Listen :: m a -> Writer w m (a, w)
27+ Listen :: m a -> Writer w m (a, w)
29----------------------------------------
29----------------------------------------