diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+0.14.1 [2024.04.29]
+-------------------
+* Remove an unused dependency on the `type-equality` library.
+
 0.14 [2023.10.11]
 -----------------
 * Drop support for GHCs older than 8.6.
diff --git a/constraints.cabal b/constraints.cabal
--- a/constraints.cabal
+++ b/constraints.cabal
@@ -1,7 +1,7 @@
 cabal-version: 2.4
 name:          constraints
 category:      Constraints
-version:       0.14
+version:       0.14.1
 license:       BSD-2-Clause
 license-file:  LICENSE
 author:        Edward A. Kmett
@@ -60,7 +60,6 @@
     , hashable       >= 1.2   && < 1.5
     , mtl            >= 2.2   && < 2.4
     , transformers   >= 0.5   && < 0.7
-    , type-equality  >= 1     && < 2
 
   exposed-modules:
     Data.Constraint
diff --git a/src/Data/Constraint.hs b/src/Data/Constraint.hs
--- a/src/Data/Constraint.hs
+++ b/src/Data/Constraint.hs
@@ -88,7 +88,7 @@
 import Data.Coerce (Coercible)
 import Data.Type.Coercion(Coercion(..))
 import Data.Type.Equality (type (~~))
-import qualified Data.Type.Equality.Hetero as Hetero
+import qualified Data.Type.Equality as Hetero
 import Type.Reflection (TypeRep, typeRepKind, withTypeable)
 import Data.Boring (Boring (..))
 
diff --git a/src/Data/Constraint/Deferrable.hs b/src/Data/Constraint/Deferrable.hs
--- a/src/Data/Constraint/Deferrable.hs
+++ b/src/Data/Constraint/Deferrable.hs
@@ -34,7 +34,7 @@
 import Data.Type.Equality ((:~:)(Refl))
 
 import GHC.Types (type (~~))
-import Data.Type.Equality.Hetero ((:~~:)(HRefl))
+import Data.Type.Equality ((:~~:)(HRefl))
 
 newtype UnsatisfiedConstraint = UnsatisfiedConstraint String
   deriving (Typeable, Show)