[Haskell-cafe] From monads to monoids in a small category
krismicinski at gmail.com
Tue Sep 4 20:32:35 CEST 2012
Your post feels similar to another one posted recently...
just fyi, :-),
On Tue, Sep 4, 2012 at 6:39 AM, Alberto G. Corona <agocorona at gmail.com> 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:
> I would appreciate some comments.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe