Maybe you can explain that again?
I see how the subset of Kleisli arrows (a -> m a) forms a monoid (a,
return . id, >>=), but what to do with (a -> m b)? (>>=) is not closed
under this larger set.
Dan
Miguel Mitrofanov wrote:
Notice that "monoid" sounds almost *exactly* like "monad". And yet,
what you use them for is wildly unrelated.
Well, monads are monoids. I remember explaining you that...
_______________________________________________
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
