<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On 26 Sep 2011, at 15:50, Edward Kmett wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; position: static; z-index: auto; "><div class="im"><br>> class MonadState s m | m -> s where<br>
> ...<br>
> state :: (s -> (a,s)) -> m a<br>
> state f = do s <- get<br>
> let (a,s') = f s<br>
> set s'<br>
> return a<br>
><br></div></blockquote><div><br></div><div>I am 100% behind this change. </div><div><br></div><div>It has been on the short list of changes that I want to make to mtl.</div></div></div></div></blockquote><br></div><div>(+1)</div><div><br></div><div><br></div><br></body></html>