[Haskell-cafe] A Generic Ordering over Types

Hello, I've defined a module which defines a Data.Type.Ordering over types which are instances of Generic: https://github.com/jpcooper/generic-type-ordering/blob/master/src/Data/Type/.... I was considering submitting it to Hackage if anyone finds this useful. I am using it in conjunction with Data.Type.Set (type-level-sets), which requires an ordering over the used types. The ordering works by first comparing the package, then the module, then the type name. I take it that the ordering as defined is correct over all types which are an instance of Generic. I wanted to check first whether this is done anywhere else, or in a different, better way. Can anyone advise? Cheers, Justin