You mean monoids right?  :-)

On Wed, Jan 21, 2009 at 1:30 AM, Eugene Kirpichov <ekirpichov@gmail.com> wrote:
Wow. This is a cool point of view on monads, thank you for
enlightening (the arrow stuff is yet too difficult for me to
understand)!

2009/1/21 Andrzej Jaworski <himself@poczta.nom.pl>:
> Monads are monoids in categories of functors C -> C Arrows are monoids in
> subcategories of bifunctors (C^op) x C -> C  Trees are a playing ground for
> functors in general:-)
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe