Îõ³h${      Safe-Inferred -./ÉÖ×¥ 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!   444444   4 4 44     )type-compare-0.1.0-5j7jWXXjpQNCWgDbabbPVq Kinds.Ord Data.Kind ConstraintMaxMin/===<>>=<=Proven/=?==?>=?<=?>?