Neil Toronto wrote: > The problem is that, like all the binary operators, "orderable" is only > defined for pairs of types. I'm loathe to mention it, but it sounds like what's needed for this is generic functions on types... -- Greg