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 <[email protected]>: > 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 > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
