A *(Learning Lounge) course.

So what are _(monad)s? Well, _(monad)s are (ignoring Leibniz) a special kind 
of construction in category theory which are interesting as they can be 
used to realize in functional languages things like I/O, integration 
with imperative languages, concurrency and so. For this reason some 
category theory may help: see _(Category Theory 101).

<ul class="links">
<li>For the beginner:
 <ul>
 <li>_("What the hell are monads?"| http://www.abercrombiegroup.co.uk/~noel/research/monads.html) is a practicioner introduction to _(monad)s, monadic programming, monadic I/O and such. Requires some knowledge of _(Haskell).
  <li>_("Meet the Monads"| http://www.nomaware.com/monads/html/), a recent extended tutorial which provides some good insight and metaphor that other tutorials have been missing.
  <li>Check also _("Monads for the dazed and confused"| http://cs.fit.edu/~satkin/monads.html).
  </ul>
</li> 
<li>For people willing to know more about that, see _(Philip Wadler)'s _(page on monads| http://www.research.avayalabs.com/user/wadler/topics/monads.html).
      Have a look at the paper titled "Understanding monads".
      <span class="comment">
        [Where is it?? I suspect that the original editor was confused by
        <em>Comprehending monads</em>, which is about how list comprehensions
        may be generalised to an arbitrary monad.
        _(Mad70)]
      </span>
  </li>
<li>For the theoretically challenged see the work of _(Eugenio Moggi).</li>
</ul>