Re: [Haskell-cafe] Data.Typeable TypeRep Ord instance.

2010/12/30 Andreas Baldeau :

instance Ord TypeRep where    compare t1 t2 =        compare            (unsafePerformIO (typeRepKey t1))            (unsafePerformIO (typeRepKey t2))

I think it would suffice. Thank you for a tip.