I\'m trying to implement a data structure where if I had the use of infinity for numerical comparison purposes, it would simply things greatly. Note this isn\'t maxBound/min
Take a look at my RangedSets library, which does exactly this in a very general way. I defined a "Boundary" type so that a value of type "Boundary a" is always either above or below any given "a". Boundaries can be "AboveAll", "BelowAll", "Above x" and "Below x".