27 Jan
2013
27 Jan
'13
4:37 p.m.
* Petr P
(1) Remove the "Monoid w" constraint from the definition.
Agree.
(2) Add
-- | @contained m@ executes the action @m@ in a contained environment and -- returns its value and its output. The current output is not modified. contained :: m a -> m (a, w)
to MonadWriter.
No opinion on this one. Roman