Proposal: Max and Min for Monoid

[Henning Thielemann]

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 ?