[Haskell-cafe] Comments from OCaml Hacker Brian Hurt

Dan Piponi dpiponi at gmail.com
Thu Jan 15 17:42:41 EST 2009

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:

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

More information about the Haskell-Cafe mailing list