0.1.1 (2021-11-05)

• Adapt SOrdering from numeric-kinds into a backfill for OrderingI.
  • The type and its constructors have been renamed.
  • EQI now requires/proves nominal equality of its type parameters.

0.1.0 (2021-11-05)

Initial version, moved out of numeric-kinds.

• Compare type family (re-exported from base when available).
• Equality/inequality test operators.
• Equality/inequality constraint operators.
• Proven and OrdCond utility type families.