[Haskell-cafe] Comments from OCaml Hacker Brian Hurt

[Dan Piponi]

On Thu, Jan 15, 2009 at 2:24 PM, Miguel Mitrofanov
<miguelimo38 at yandex.ru> wrote:

> If, however, you category is a category of endofunctors of some category D
> (that is, functors D -> D), and T is composition, then our "monoids" become
> monads on D: I is an identity functor, first morphism is "return", and
> second one is "join".

You can see this more concretely in Haskell code here:
http://sigfpe.blogspot.com/2008/11/from-monoids-to-monads.html

(This probably ought to be in a separate thread.)
--
Dan