Proposal: Max and Min for Monoid
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