Re: Proposal: Max and Min for Monoid

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 ?