Hi Chris. I don't think that version could type-check. Try it out. - Conal<br><br><div class="gmail_quote">On Dec 3, 2007 8:52 AM, Chris Kuklewicz <<a href="mailto:chrisk@mightyreason.com">chrisk@mightyreason.com
</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">In State, the tuple order that is use is<br>> newtype State s a = State {
<br>> runState :: (s -> (a, s))<br>> }<br><br>So I would expect you to use the same order for writer. This only changes (>>)<br>below:<br><div class="Ih2E3d"><br>> instance Monoid o => Monad ((,) o) where
<br></div>> return = (a,mempty)<br>> (a,o) >>= f = (a',o `mappend` o') where (a',o') = f a<br><br>--<br><font color="#888888">Chris<br><br></font></blockquote></div><br>