<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  <title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
Hello Daniel,<br>
<br>
that looks lovely, but it doesn't help me much :)<br>
<br>
Günther<br>
<br>
Am 27.02.10 10:06, schrieb Daniel Peebles:
<blockquote
 cite="mid:b1a8a5051002270106n38035232p3a80b78099e31160@mail.gmail.com"
 type="cite">Given any functor you can get a monad for free! 
  <div><br>
  </div>
  <div>data Free f a = Either a (f (Free f a))</div>
  <div><br>
  </div>
  <div>Not sure about unfree, but there are cofree comonads that are
pretty closely related, and give you a comonad given a functor:</div>
  <div><br>
  </div>
  <div>data Cofree f a = (a, f (Cofree f a))<br>
  <div><br>
  </div>
  <div>I'm sure the more categorically minded can tell you way more.</div>
  <div><br>
  </div>
  <div>Hope this helps,</div>
  <div>Dan</div>
  <div><br>
  <div class="gmail_quote">2010/2/27 Günther Schmidt <span dir="ltr">&lt;<a
 moz-do-not-send="true" href="mailto:gue.schmidt@web.de">gue.schmidt@web.de</a>&gt;</span><br>
  <blockquote class="gmail_quote"
 style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hello,<br>
    <br>
I see the term "free monad" quite a lot, but don't really see an
explanation what a free monad is. What sets a monad free and why in
this day and age are there unfree monads?<br>
    <br>
Günther<br>
    <br>
    <br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
    <a moz-do-not-send="true" href="mailto:Haskell-Cafe@haskell.org"
 target="_blank">Haskell-Cafe@haskell.org</a><br>
    <a moz-do-not-send="true"
 href="http://www.haskell.org/mailman/listinfo/haskell-cafe"
 target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
  </blockquote>
  </div>
  <br>
  </div>
  </div>
</blockquote>
<br>
</body>
</html>