Hi Bart, > As those who follow this list know, the consensus after discussion of Proposal > #2717 was to just add nubOrd to Data.Set. Final question: should we add nubInt > to Data.IntSet as well? It seems to me like the right thing to do, given the > existence of Data.IntSet in the first place. Yes, seems very sensible! Thanks Neil