You mean monoids right? :-)<br><br><div class="gmail_quote">On Wed, Jan 21, 2009 at 1:30 AM, Eugene Kirpichov <span dir="ltr"><<a href="mailto:ekirpichov@gmail.com">ekirpichov@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Wow. This is a cool point of view on monads, thank you for<br>
enlightening (the arrow stuff is yet too difficult for me to<br>
understand)!<br>
<br>
2009/1/21 Andrzej Jaworski <<a href="mailto:himself@poczta.nom.pl">himself@poczta.nom.pl</a>>:<br>
<div><div></div><div class="Wj3C7c">> Monads are monoids in categories of functors C -> C Arrows are monoids in<br>
> subcategories of bifunctors (C^op) x C -> C Trees are a playing ground for<br>
> functors in general:-)<br>
><br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">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>
><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">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>
</div></div></blockquote></div><br>