@@ -5,12 +5,12 @@ import Debug.Trace
5import Control.Monad.Eff
5import Control.Monad.Eff
7class (Monad m) <= MonadWriter w m where
7class (Monad m) <= MonadWriter w m where
8− tell :: w -> m {}
8+ tell :: w -> m Unit
10testFunctor :: forall m. (Monad m) => m Number -> m Number
10testFunctor :: forall m. (Monad m) => m Number -> m Number
11testFunctor n = (+) 1 <$> n
11testFunctor n = (+) 1 <$> n
13−test :: forall w m. (Monad m, MonadWriter w m) => w -> m {}
13+test :: forall w m. (Monad m, MonadWriter w m) => w -> m Unit
14test w = do
14test w = do