diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,3 +3,7 @@
 ## 0.1.0.0 -- 2025-12-25
 
 * Fully implement proposal
+
+## 0.1.1.0 -- 2025-12-28
+
+* Add implicit unbinding
diff --git a/Data/Implicit.hs b/Data/Implicit.hs
--- a/Data/Implicit.hs
+++ b/Data/Implicit.hs
@@ -22,6 +22,7 @@
 module Data.Implicit where
 
 import GHC.Base (IP, ip, withDict)
+import GHC.TypeError
 import GHC.TypeLits (Symbol)
 
 -- | 'ImplicitParameter' @x@ @a@ is a t'Data.Kind.Constraint' that 'implicitParameter' @x@ is an implicit parameter of type @a@.
@@ -34,6 +35,8 @@
 --
 -- To bind an implicit parameter, use 'bindImplicit'.
 --
+-- To unbind an implicit parameter, use 'unbindImplicit'.
+--
 -- @ImplictParameter (MkIdent "foo") t@ is equivalent to @?foo :: t@.
 type ImplicitParameter (x :: k) = IP (KeyName x)
 
@@ -50,6 +53,18 @@
 {-# INLINE implicitParameter #-}
 implicitParameter :: forall x -> (ImplicitParameter x a) => a
 implicitParameter x = ip @(KeyName x)
+
+-- | Unbind the implicit parameter @x@.
+--
+-- Unbinding follows the same dynamic scoping rules as 'ImplicitParameter'. @bindImplicit x a (unbindImplicit x (implicitParameter x))@
+-- is a compile-time error while @unbindImplicit x (bindImplicit x a (implicitParameter x))@ is equivalent to @a@.
+unbindImplicit :: forall x -> ((ImplicitUnbound x) => a) -> a
+unbindImplicit key = bindImplicit key undefined
+
+-- | A t'Data.Kind.Constraint' that there is no implicit parameter bound to @x@.
+--
+-- To unbind an implicit parameter, use 'unbindImplicit'.
+type ImplicitUnbound (x :: k) = ImplicitParameter x (TypeError (Text "The implicit parameter " :<>: ShowType x :<>: Text " has been explicitly unbound."))
 
 -- | The kind of type-level representations of Haskell identifiers.
 data Ident = MkIdent Symbol {- HLINT ignore "Use newtype instead of data" -}
diff --git a/abstractly-keyed-implicits.cabal b/abstractly-keyed-implicits.cabal
--- a/abstractly-keyed-implicits.cabal
+++ b/abstractly-keyed-implicits.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               abstractly-keyed-implicits
-version:            0.1.0.0
+version:            0.1.1.0
 synopsis:           Manage the implicit parameter namespace dynamically at compile time.
 description:
    Manage the implicit parameter namespace dynamically at compile time.