Re: Maximum and Minimum monoids

Sjoerd Visscher writes:

Can't you use Option (Max a) from the semigroups package?

This was my first thought as well; IMHO, the elementary Minimum/Maximum operation forms a semigroup rather than a monoid. cheers, hvr