diff --git a/stm-ltd/src/Control/Concurrent/STM/Class/TH.hs b/stm-ltd/src/Control/Concurrent/STM/Class/TH.hs
index 908cb984e65e99c9c5792113d63efcbe81f98579..bd1a33a8b216d8824d184831d58eba80264bed99 100644
--- a/stm-ltd/src/Control/Concurrent/STM/Class/TH.hs
+++ b/stm-ltd/src/Control/Concurrent/STM/Class/TH.hs
@@ -53,9 +53,10 @@ mkLiftImpl liftE fqn = do
   ty <- reifyType fqn
   let name = mkName $ nameBase fqn
   argNames <- mapM (\_ -> newName "x") [1..(argumentCount ty)]
-  let argPats = varP <$> argNames
-  let bodyE = [|$liftE $(foldl appE (varE fqn) (varE <$> argNames))|]
-  let clauses = [clause argPats (normalB bodyE) []]
+  let
+    argPats = varP <$> argNames
+    bodyE = [|$liftE $(foldl appE (varE fqn) (varE <$> argNames))|]
+    clauses = [clause argPats (normalB bodyE) []]
 #if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
   doc <- getDoc (DeclDoc fqn)
   funD_doc name clauses doc [Nothing]
diff --git a/stm-ltd/stm-ltd.cabal b/stm-ltd/stm-ltd.cabal
index 93d90656baff528bfdf11dcd092dc22e626889eb..4f9fa0c76593da6a1cc5dff41bff343477124476 100644
--- a/stm-ltd/stm-ltd.cabal
+++ b/stm-ltd/stm-ltd.cabal
@@ -11,42 +11,21 @@ build-type:     Simple
 
 common shared-properties
   default-extensions:
-    AllowAmbiguousTypes
-    BangPatterns
     BlockArguments
     ConstraintKinds
     DataKinds
-    DefaultSignatures
-    DeriveGeneric
     DerivingStrategies
-    DisambiguateRecordFields
-    DuplicateRecordFields
-    ExistentialQuantification
     FlexibleContexts
     FlexibleInstances
     FunctionalDependencies
-    GADTs
     GeneralizedNewtypeDeriving
     ImportQualifiedPost
-    InstanceSigs
-    LambdaCase
-    -- Enable once 9.0.1 is required
-    --LexicalNegation
-    MultiParamTypeClasses
-    NamedFieldPuns
+    MonoLocalBinds
     NoImplicitPrelude
-    NumericUnderscores
-    OverloadedStrings
-    PolyKinds
-    RankNTypes
-    ScopedTypeVariables
+    NoStarIsType
     StandaloneDeriving
     StandaloneKindSignatures
-    TupleSections
-    TypeApplications
-    TypeFamilies
-    TypeOperators
-    ViewPatterns
+    KindSignatures
   default-language: Haskell2010
   ghc-options:
     -Weverything