diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Revision history for typelet
 
+## 0.1.7 -- 2026-05-20
+
+* Support ghc 9.14
+* Use ghc-tcplugin-api 0.19
+
 ## 0.1.6 -- 2025-07-19
 
 * Relax bounds [together with Gabriele Sales]
diff --git a/src/TypeLet/Plugin.hs b/src/TypeLet/Plugin.hs
--- a/src/TypeLet/Plugin.hs
+++ b/src/TypeLet/Plugin.hs
@@ -22,7 +22,8 @@
                                tcPluginInit    = resolveNames
                              , tcPluginSolve   = solve
                              , tcPluginRewrite = \_st -> emptyUFM
-                             , tcPluginStop    = \_st -> return ()
+                             , tcPluginPostTc  = \_st -> return ()
+                             , tcPluginShutdown = \_st -> return ()
                              }
     }
 
diff --git a/src/TypeLet/Plugin/Constraints.hs b/src/TypeLet/Plugin/Constraints.hs
--- a/src/TypeLet/Plugin/Constraints.hs
+++ b/src/TypeLet/Plugin/Constraints.hs
diff --git a/src/TypeLet/Plugin/GhcTcPluginAPI.hs b/src/TypeLet/Plugin/GhcTcPluginAPI.hs
--- a/src/TypeLet/Plugin/GhcTcPluginAPI.hs
+++ b/src/TypeLet/Plugin/GhcTcPluginAPI.hs
@@ -8,8 +8,6 @@
 
     -- * Additional re-exports
     -- ** Substitutions
-  , Subst -- opaque
-  , Subst.substTy
   , Subst.substTyWith
   , Subst.zipTvSubst
   , elemVarSet
@@ -34,24 +32,5 @@
 import qualified TcType as Subst
 
 #endif
-
-{-------------------------------------------------------------------------------
-  TCvSubst was renamed to Subst in ghc 9.6
--------------------------------------------------------------------------------}
-
-#if MIN_VERSION_ghc(9,6,0)
-import GHC.Core.TyCo.Subst (Subst)
-#elif MIN_VERSION_ghc(9,0,0)
-import GHC.Core.TyCo.Subst (TCvSubst)
-#else
-import TcType (TCvSubst)
-#endif
-
-#if !MIN_VERSION_ghc(9,6,0)
-type Subst = TCvSubst
-#endif
-
-
-
 
 
diff --git a/src/TypeLet/Plugin/Substitution.hs b/src/TypeLet/Plugin/Substitution.hs
--- a/src/TypeLet/Plugin/Substitution.hs
+++ b/src/TypeLet/Plugin/Substitution.hs
diff --git a/src/TypeLet/UserAPI.hs b/src/TypeLet/UserAPI.hs
--- a/src/TypeLet/UserAPI.hs
+++ b/src/TypeLet/UserAPI.hs
@@ -236,5 +236,3 @@
 constructLet :: forall f a. (forall b. Let b a => Proxy b -> f b) -> f a
 constructLet f = f Proxy
 
-
-
diff --git a/typelet.cabal b/typelet.cabal
--- a/typelet.cabal
+++ b/typelet.cabal
@@ -1,7 +1,7 @@
 cabal-version:      2.4
 build-type:         Simple
 name:               typelet
-version:            0.1.6
+version:            0.1.7
 synopsis:           Plugin to faciliate type-level let
 description:        For a certain class of programs, type-level let is essential
                     in order to be able to write these programs in such a way
@@ -18,12 +18,14 @@
 category:           Plugin
 extra-doc-files:    CHANGELOG.md
 tested-with:        GHC ==8.10.7
+                    GHC ==9.0.2
                     GHC ==9.2.8
                     GHC ==9.4.8
                     GHC ==9.6.7
                     GHC ==9.8.4
                     GHC ==9.10.2
                     GHC ==9.12.2
+                    GHC ==9.14.1
 
 source-repository head
   type:     git
@@ -40,10 +42,10 @@
         TypeLet.Plugin.NameResolution
         TypeLet.Plugin.Substitution
     build-depends:
-      , base             >= 4.14   && < 4.22
-      , containers       >= 0.6    && < 0.9
-      , ghc              >= 8.10   && < 9.13
-      , ghc-tcplugin-api >= 0.16.1 && < 0.17
+      , base             >= 4.14 && < 4.23
+      , containers       >= 0.6  && < 0.9
+      , ghc              >= 8.10 && < 9.15
+      , ghc-tcplugin-api >= 0.19 && < 0.20
     hs-source-dirs:
         src
     default-language: