[Haskell-cafe] From monads to monoids in a small category
Alberto G. Corona
agocorona at gmail.com
Wed Sep 5 18:11:58 CEST 2012
2012/9/4 Kristopher Micinski <krismicinski at gmail.com>:
> 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