Greetings all. Why does the 1.4 report have "insert" use the "compare" member function of Ord, rather than ">", hence giving insertBy a funny type involving "Ordering"? This seems unnecessary, and not the most convenient form for direct use of insertBy, either. Slainte, Alex.
