diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+## 0.3.2 (2022-11-28)
+  * support GHC 9.4
+
 ## 0.3.1 (2022-07-04)
   * update refined (polykind predicate)
 
diff --git a/strongweak.cabal b/strongweak.cabal
--- a/strongweak.cabal
+++ b/strongweak.cabal
@@ -1,11 +1,11 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.34.4.
+-- This file has been generated from package.yaml by hpack version 0.35.0.
 --
 -- see: https://github.com/sol/hpack
 
 name:           strongweak
-version:        0.3.1
+version:        0.3.2
 synopsis:       Convert between strong and weak representations of types
 description:    Please see README.md.
 category:       Data
@@ -40,46 +40,25 @@
   hs-source-dirs:
       src
   default-extensions:
-      EmptyCase
       LambdaCase
-      InstanceSigs
-      BangPatterns
-      ExplicitNamespaces
-      DerivingStrategies
+      NoStarIsType
       DerivingVia
-      StandaloneDeriving
       DeriveAnyClass
-      DeriveGeneric
-      DeriveDataTypeable
-      DeriveFunctor
-      DeriveFoldable
-      DeriveTraversable
-      DeriveLift
-      FlexibleContexts
-      FlexibleInstances
-      MultiParamTypeClasses
       GADTs
-      PolyKinds
       RoleAnnotations
-      RankNTypes
-      TypeApplications
       DefaultSignatures
       TypeFamilies
       DataKinds
       MagicHash
-      ImportQualifiedPost
-      StandaloneKindSignatures
-      ScopedTypeVariables
-      TypeOperators
   ghc-options: -Wall
   build-depends:
       base >=4.14 && <5
     , either >=5.0.1.1 && <5.1
     , prettyprinter >=1.7.1 && <1.8
-    , refined ==0.7.*
-    , vector >=0.12.3.1 && <0.13
+    , refined >=0.7 && <0.9
+    , vector >=0.12.3.1 && <0.14
     , vector-sized >=1.5.0 && <1.6
-  default-language: Haskell2010
+  default-language: GHC2021
 
 test-suite spec
   type: exitcode-stdio-1.0
@@ -92,37 +71,16 @@
   hs-source-dirs:
       test
   default-extensions:
-      EmptyCase
       LambdaCase
-      InstanceSigs
-      BangPatterns
-      ExplicitNamespaces
-      DerivingStrategies
+      NoStarIsType
       DerivingVia
-      StandaloneDeriving
       DeriveAnyClass
-      DeriveGeneric
-      DeriveDataTypeable
-      DeriveFunctor
-      DeriveFoldable
-      DeriveTraversable
-      DeriveLift
-      FlexibleContexts
-      FlexibleInstances
-      MultiParamTypeClasses
       GADTs
-      PolyKinds
       RoleAnnotations
-      RankNTypes
-      TypeApplications
       DefaultSignatures
       TypeFamilies
       DataKinds
       MagicHash
-      ImportQualifiedPost
-      StandaloneKindSignatures
-      ScopedTypeVariables
-      TypeOperators
   ghc-options: -Wall
   build-tool-depends:
       hspec-discover:hspec-discover >=2.7 && <2.10
@@ -131,11 +89,11 @@
     , base >=4.14 && <5
     , either >=5.0.1.1 && <5.1
     , generic-random >=1.5.0.1 && <1.6
-    , hspec >=2.7 && <2.10
+    , hspec >=2.7 && <2.11
     , prettyprinter >=1.7.1 && <1.8
     , quickcheck-instances >=0.3.26 && <0.4
-    , refined ==0.7.*
+    , refined >=0.7 && <0.9
     , strongweak
-    , vector >=0.12.3.1 && <0.13
+    , vector >=0.12.3.1 && <0.14
     , vector-sized >=1.5.0 && <1.6
-  default-language: Haskell2010
+  default-language: GHC2021