random832 at fastmail.us writes: > This has nothing to do with comparable types "if ordering is the same" is what you wrote. How do you propose to determine that without an OrderRelation type or similar?