diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,9 @@
+# 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`.
diff --git a/src/Kinds/Ord.hs b/src/Kinds/Ord.hs
--- a/src/Kinds/Ord.hs
+++ b/src/Kinds/Ord.hs
@@ -15,6 +15,7 @@
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE DataKinds #-}
+{-# LANGUAGE GADTs #-}
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
@@ -36,6 +37,9 @@
            -- ** Selection
          , Max, Min
 
+           -- ** Proof Witnesses
+         , OrderingI(..)
+
            -- * Utility
          , Proven, OrdCond, CompareCond
          ) where
@@ -45,7 +49,7 @@
          ( Compare, OrdCond
          , type (<?), type (>?), type (<=?), type (>=?)
          , type (<=), type (>=), type (>)
-         , Max, Min
+         , Max, Min, OrderingI(..)
          )
 #else
 import GHC.TypeLits (CmpNat)
@@ -112,4 +116,10 @@
 #if !MIN_VERSION_base(4, 16, 0)
 type Min x y = CompareCond x y x x y
 type Max x y = CompareCond x y y y x
+
+-- | Ordering results carrying evidence of type-level ordering relations.
+data OrderingI m n where
+  LTI :: Compare m n ~ 'LT => OrderingI m n
+  EQI :: Compare m m ~ 'EQ => OrderingI m m
+  GTI :: Compare m n ~ 'GT => OrderingI m n
 #endif
diff --git a/type-compare.cabal b/type-compare.cabal
--- a/type-compare.cabal
+++ b/type-compare.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           type-compare
-version:        0.1.0
+version:        0.1.1
 synopsis:       Type-level Ord compatibility layer
 description:    In @base-4.16.0.0@, an open type family @Compare@ was added as a type-level
                 analog of @Ord@.  This package provides a compatible interface on earlier