Re: [Haskell-cafe] From monads to monoids in a small category

Thanks, Kristopher 2012/9/4 Kristopher Micinski :

Your post feels similar to another one posted recently...

http://web.jaguarpaw.co.uk/~tom/blog/2012/09/02/what-is-a-monad-really.html

just fyi, :-),

kris

On Tue, Sep 4, 2012 at 6:39 AM, Alberto G. Corona wrote:

...

"Monads are monoids in the category of endofunctors"

This Monoid instance for the endofunctors of the set of all elements of (m a) typematch in Haskell with FlexibleInstances:

instance Monad m => Monoid (a -> m a) where mappend = (>=>) -- kleisly operator mempty = return

The article can be found here:

http://haskell-web.blogspot.com.es/2012/07/from-monads-to-monoids-in-small.h...

I would appreciate some comments.

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe