diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Revision history for typelet
 
+## 0.1.4 -- 2024-05-30
+
+* Support ghc 9.6 (and drop ghc <= 8.8)
+  [together with Gabriele Sales]
+
 ## 0.1.3 -- 2023-03-06
 
 * Support ghc 9.4
diff --git a/src/TypeLet/Plugin.hs b/src/TypeLet/Plugin.hs
--- a/src/TypeLet/Plugin.hs
+++ b/src/TypeLet/Plugin.hs
@@ -95,7 +95,7 @@
     -- Solve an Equal constraint by applying the substitution and turning it
     -- into a nominal equality constraint
     solveEqual ::
-         TCvSubst
+         Subst
       -> Ct                       -- Original Equal constraint
       -> GenLocated CtLoc CEqual  -- Parsed Equal constraint
       -> TcPluginM 'Solve ((EvTerm, Ct), Ct)
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,7 +8,7 @@
 
     -- * Additional re-exports
     -- ** Substitutions
-  , TCvSubst
+  , Subst -- opaque
   , Subst.substTy
   , Subst.substTyWith
   , Subst.zipTvSubst
@@ -22,7 +22,6 @@
 #if MIN_VERSION_ghc(9,0,0)
 
 import GHC.Core.TyCo.FVs (tyCoVarsOfType)
-import GHC.Core.TyCo.Subst (TCvSubst)
 import GHC.Types.Var.Set (elemVarSet)
 
 import qualified GHC.Core.TyCo.Subst as Subst
@@ -30,9 +29,29 @@
 #else
 
 import VarSet (elemVarSet)
-import TcType (TCvSubst, tyCoVarsOfType)
+import TcType (tyCoVarsOfType)
 
 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
@@ -23,7 +23,7 @@
 -- our use case is simpler? Needs more thought.
 letsToSubst ::
      [GenLocated CtLoc CLet]
-  -> Either (Cycle (GenLocated CtLoc CLet)) TCvSubst
+  -> Either (Cycle (GenLocated CtLoc CLet)) Subst
 letsToSubst = fmap (uncurry zipTvSubst . unzip . go []) . inorder
   where
     go :: [(TyVar, Type)] -> [(TyVar, Type)] -> [(TyVar, Type)]
diff --git a/src/TypeLet/UserAPI.hs b/src/TypeLet/UserAPI.hs
--- a/src/TypeLet/UserAPI.hs
+++ b/src/TypeLet/UserAPI.hs
@@ -22,6 +22,8 @@
 
 -- $setup
 -- >>> :set -fplugin=TypeLet
+-- >>> :set -XFlexibleContexts
+-- >>> :set -XScopedTypeVariables
 
 {-------------------------------------------------------------------------------
   Main classes
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.3
+version:            0.1.4
 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
@@ -17,7 +17,7 @@
 copyright:          Well-Typed LLP, Juspay Technologies Pvt Ltd
 category:           Plugin
 extra-source-files: CHANGELOG.md
-tested-with:        GHC ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.7 || ==9.4.4
+tested-with:        GHC ==8.10.7 || ==9.2.8 || ==9.4.8 || ==9.6.4
 
 source-repository head
   type:     git
@@ -34,12 +34,10 @@
         TypeLet.Plugin.NameResolution
         TypeLet.Plugin.Substitution
     build-depends:
-        base >= 4.13 && < 4.18
-      , ghc-tcplugin-api >= 0.10 && < 0.11
-
-        -- whichever versions are bundled with ghc:
-      , containers
-      , ghc
+      , base             >= 4.14 && < 4.19
+      , containers       >= 0.6  && < 0.7
+      , ghc              >= 8.10 && < 9.7
+      , ghc-tcplugin-api >= 0.11 && < 0.12
     hs-source-dirs:
         src
     default-language: