@hackage ord-axiomata0.1.0.0

Axiomata & lemmata for easier use of Data.Type.Ord

When using Data.Type.Ord, there are many facts one intuitively expects to hold that GHC is not clever enough to infer. We rectify this situation with a TotalOrder typeclass providing axiomata with which such facts may be proven to GHC.