On Thu, Apr 9, 2009 at 1:33 PM, Miguel Mitrofanov <span dir="ltr">&lt;<a href="mailto:miguelimo38@yandex.ru">miguelimo38@yandex.ru</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I&#39;m not sure what you mean by that, but semantically IO is definitely<br>
*not* a state monad.  Under any circumstances or any set of assumptions.<br>
</blockquote>
<br></div>
Ehm? Why not?</blockquote><div><br>Mainly forkIO.  There may be other reasons.<br><br>Luke<br></div></div>