Proposal: Max and Min for Monoid

Henning Thielemann schlepptop at henning-thielemann.de
Sat Sep 25 13:09:11 EDT 2010


Edward Kmett schrieb:
> If you want a more uniform factoring, then at the risk of further
> exploding the number of options under consideration, there is an obvious
> choice:
> 
> class Semigroup s where
>    sappend :: s -> s -> s
> 
> -- ^ like how Functor m => Monoid m, you get the obvious 'spiritual but
> unenforced' Semigroup m => Monoid m

Functor m => Monad m ?



More information about the Libraries mailing list