This is nice and simple. My only concern is I&#39;m not sure there&#39;s enough of a distinction between &quot;Monad&quot; and &quot;State Monad&quot;. That is, I&#39;m not sure it&#39;s clear enough that the way you&#39;re binding the small programs together in the initial example is only one way you could bind them together, and thus it&#39;s only one instance of Monad.<br>
<br><div class="gmail_quote">On Wed, Feb 4, 2009 at 12:41 PM, Tim Newsham <span dir="ltr">&lt;<a href="mailto:newsham@lava.net">newsham@lava.net</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
I put up a small Monad explanation (I wouldn&#39;t quite call it<br>
a tutorial):<br>
 &nbsp;<a href="http://www.thenewsh.com/~newsham/haskell/monad.html" target="_blank">http://www.thenewsh.com/~newsham/haskell/monad.html</a><br>
<br>
The intent here is to is to have a short description of what<br>
a Monad is that is approachable by Haskell beginners or non-<br>
Haskell programmers who are looking for an intuitive definition<br>
but may not yet have the background or the inclination to<br>
jump into full tutorial to tackle the subject.<br><font color="#888888">
<br>
Tim Newsham<br>
<a href="http://www.thenewsh.com/~newsham/" target="_blank">http://www.thenewsh.com/~newsham/</a><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</font></blockquote></div><br>