@@ -48,9 +48,9 @@ instance Monoid d => MonadTrans (DeclareT d) where
48-- declare mempty == return ()
48-- declare mempty == return ()
49-- declare x >> declare y == declare (x <> y)
49-- declare x >> declare y == declare (x <> y)
51−-- declare x >> look == fmap (<> x) look
51+-- declare x >> look == fmap (<> x) look <* declare x
53−-- look >> f == f
53+-- look >> m == m
55class Monad m => MonadDeclare d m | m -> d where
55class Monad m => MonadDeclare d m | m -> d where
56 -- | @'declare' x@ is an action that produces the output @x@.
56 -- | @'declare' x@ is an action that produces the output @x@.