diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+23 Sep 2023
+0.5.3 Release
+Build with ghc-9.4.6 and ghc-9.6.1.
+ghc-9.4.6 cannot compile examples/Properties/LengthIndependent.hs
+as some types cannot be inferred. This is fixed in ghc-9.6.1.
+
 18 Feb 2022
 0.5.2 Release
 Remove custom Setup.lhs which was for ghc-7.6
diff --git a/Data/HList/Record.hs b/Data/HList/Record.hs
--- a/Data/HList/Record.hs
+++ b/Data/HList/Record.hs
@@ -471,6 +471,7 @@
           ApplyAB ReadComponent (Proxy r) readP_r,
           HProxies rs,
           HSequence ReadP (readP_r ': bs) (r ': rs),
+          readP_r ~ ReadP (Tagged l v),
 
           -- ghc-8.0.2 needs these. The above constraints
           -- should imply them
diff --git a/HList.cabal b/HList.cabal
--- a/HList.cabal
+++ b/HList.cabal
@@ -1,5 +1,5 @@
 Name:                HList
-Version:             0.5.2.0
+Version:             0.5.3.0
 Category:            Data
 Synopsis:            Heterogeneous lists
 Description:         HList provides many operations to create and manipulate
@@ -30,7 +30,7 @@
 
 Data-files:          README, ChangeLog
 Cabal-version:       >= 1.10
-Tested-With:         GHC==8.10.7
+Tested-With:         GHC==9.6.1
 Build-Type:          Simple
 
 Extra-Source-Files:
@@ -58,7 +58,7 @@
                See <https://ghc.haskell.org/trac/ghc/ticket/9918>
 
 library
-  Build-Depends:       base >= 4.6 && < 4.17,
+  Build-Depends:       base >= 4.6 && < 5,
                        -- for Typeable '[] and '(:) with ghc-7.6
                        base-orphans,
                        -- Data.Semigroup for ghc < 8
