Îõ³h$ƒ      Safe-Inferred '(-./ÉÖ× type-compareÄOrdering results carrying evidence of type-level ordering relations.  type-compareTurns a type-level  into a  that it's . type-compareType-level eliminator for .OrdCond o lt eq gt selects from among lt, eq, and gt according to o. type-compareCompareCond x y lt eq gt is lt if x is less than y , and so on. type-compareType-level Ord "kindclass".%Note this has an invisible dependent kç parameter that makes the textually-identical instances for different kinds actually different. Neat!      444 4 4 4  4444     )type-compare-0.1.1-AdZU3jG6VUs4LtMRQXdZ5V Kinds.Ord Data.Kind Constraint OrderingILTIEQIGTIMaxMin/===<>>=<=Proven/=?==?>=?<=?>?