@@ -23,7 +23,7 @@ instance (Monoid w, Monad m) => Applicative (RWST r w s m) where
23 pure a = MkRWST $ \_,s => return (a, s, neutral)
23 pure a = MkRWST $ \_,s => return (a, s, neutral)
24 (MkRWST f) <*> (MkRWST v) = MkRWST $ \r,s => do (a, s', w) <- v r s
24 (MkRWST f) <*> (MkRWST v) = MkRWST $ \r,s => do (a, s', w) <- v r s
25 (fn, ss, w') <- f r s
25 (fn, ss, w') <- f r s
26− return (fn a, ss, w <+> w)
26+ return (fn a, ss, w <+> w')
28instance (Monoid w, Monad m) => Monad (RWST r w s m) where
28instance (Monoid w, Monad m) => Monad (RWST r w s m) where
29 (MkRWST m) >>= k = MkRWST $ \r,s => do (a, s', w) <- m r s
29 (MkRWST m) >>= k = MkRWST $ \r,s => do (a, s', w) <- m r s