Proposal: Max and Min for Monoid

Daniel Fischer daniel.is.fischer at web.de
Sat Sep 25 17:26:59 EDT 2010


On Saturday 25 September 2010 23:03:41, Brandon S Allbery KF8NH wrote:
> On 9/25/10 13:09 , Henning Thielemann wrote:
> > Edward Kmett schrieb:
> >> -- ^ like how Functor m => Monoid m, you get the obvious 'spiritual
> >> but unenforced' Semigroup m => Monoid m
> >
> > Functor m => Monad m ?
>
> I was wondering about that.  mempty = id, mappend = (.) is as close as I
> could get....

Kind mismatch is how far I got.


More information about the Libraries mailing list