15 Jan
2009
15 Jan
'09
5:10 p.m.
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