instance Ord (StableName a)
|Reported by:||ekarttun||Owned by:|
|Type of failure:||Test Case:|
|Related Tickets:||Differential Revisions:|
Being able to have an Ord instance for StableNames would make sense. This would be very useful for code passing around a Set of StableNames. As the Eq instance already exists this would probably not involve any new issues.