> What about using new type and sort the pair before comparing? Matt needs to define Ord instance for (t1,t2) so he can use (t1,t2) in Map in non-standard way. he is not trying to sort or compare (t1,t2) just for the sake of it. I think..