[Haskell-cafe] Comments from OCaml Hacker Brian Hurt
westondan at imageworks.com
Thu Jan 15 17:10:07 EST 2009
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.
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 at haskell.org
More information about the Haskell-Cafe