2010/12/30 Andreas Baldeau <andreas at baldeau.net>: > instance Ord TypeRep where > compare t1 t2 = > compare > (unsafePerformIO (typeRepKey t1)) > (unsafePerformIO (typeRepKey t2)) I think it would suffice. Thank you for a tip.