Sjoerd Visscher <sjoerd at w3future.com> 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