On Thu, Sep 23, 2010 at 3:46 PM, Ross Paterson
<ross@soi.city.ac.uk> wrote:
On Thu, Sep 23, 2010 at 03:08:48PM -0400, Edward Kmett wrote:
> On the other hand, composing AddBounds introduces another element on the other
> side, which serves as an annihilator when composed with Min and Max. This is
> fine for some applications, but I don't believe it subsumes MinPriority and
> MaxPriority.
This extra element at the other end introduced by AddBounds bothers
me too. So I agree with the conclusion that we need both versions that
add a maximum/minimum, and ones that take it from Bounded. That leaves
the question of which variant deserves to be called Max/Min.