diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,12 @@
+## generic-lens-core-2.3.0.0 (2025-08-27)
+- GHC 9.14 compatibility
+
+## generic-lens-core-2.2.1.0 (2022-01-22)
+- GHC 9.2 compatibility
+
+## generic-lens-core-2.2.0.0 (2021-07-13)
+- GHC 9.0 compatibility
+
 ## generic-lens-core-2.1.0.0 (2021-01-25)
 - Expose Data.Generics.Product.Internal.Subtype (#127, Tom Harding)
 
diff --git a/generic-lens-core.cabal b/generic-lens-core.cabal
--- a/generic-lens-core.cabal
+++ b/generic-lens-core.cabal
@@ -1,5 +1,6 @@
+cabal-version:        2.0
 name:                 generic-lens-core
-version:              2.1.0.0
+version:              2.3.0.0
 synopsis:             Generically derive traversals, lenses and prisms.
 description:          This library uses GHC.Generics to derive efficient optics (traversals, lenses and prisms) for algebraic data types in a type-directed way, with a focus on good type inference and error messages when possible.
                       .
@@ -16,11 +17,23 @@
 maintainer:           kiss.csongor.kiss@gmail.com
 category:             Generics, Records, Lens
 build-type:           Simple
-cabal-version:        >= 1.10
-Tested-With:          GHC == 8.4.1, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.1, GHC == 8.10.1
 
-extra-source-files:   ChangeLog.md
+tested-with:
+  GHC == 9.14.1
+  GHC == 9.12.2
+  GHC == 9.10.2
+  GHC == 9.8.4
+  GHC == 9.6.7
+  GHC == 9.4.8
+  GHC == 9.2.8
+  GHC == 9.0.2
+  GHC == 8.10.7
+  GHC == 8.8.4
+  GHC == 8.6.5
+  GHC == 8.4.4
 
+extra-doc-files:      ChangeLog.md
+
 library
   exposed-modules:    Data.Generics.Internal.GenericN
 
@@ -57,14 +70,14 @@
                     , Data.Generics.Product.Internal.HList
 
   build-depends:      base        >= 4.11 && < 5
-                    , text        >= 1.2 && < 1.3
-                    , indexed-profunctors >= 0.1 && < 1.0
+                    , text        >= 1.2 && < 1.3 || >= 2.0 && < 2.2
+                    , indexed-profunctors >= 0.1 && < 1
 
   hs-source-dirs:     src
   default-language:   Haskell2010
+  default-extensions: TypeOperators
   ghc-options:        -Wall
 
 source-repository head
   type:               git
   location:           https://github.com/kcsongor/generic-lens
-
diff --git a/src/Data/Generics/Internal/Profunctor/Iso.hs b/src/Data/Generics/Internal/Profunctor/Iso.hs
--- a/src/Data/Generics/Internal/Profunctor/Iso.hs
+++ b/src/Data/Generics/Internal/Profunctor/Iso.hs
@@ -73,7 +73,7 @@
 {-# INLINE fromIso #-}
 
 iso :: (s -> a) -> (b -> t) -> Iso s t a b
-iso = dimap
+iso sa bt = dimap sa bt
 {-# INLINE iso #-}
 
 withIso :: Iso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
diff --git a/src/Data/Generics/Internal/Profunctor/Prism.hs b/src/Data/Generics/Internal/Profunctor/Prism.hs
--- a/src/Data/Generics/Internal/Profunctor/Prism.hs
+++ b/src/Data/Generics/Internal/Profunctor/Prism.hs
@@ -60,8 +60,8 @@
 -- Prism stuff
 
 without' :: Prism s t a b -> Prism s t c d -> Prism s t (Either a c) (Either b d)
-without' k =
-  withPrism k  $ \bt _ k' ->
+without' k k' =
+  withPrism k  $ \bt _ ->
   withPrism k' $ \dt setc ->
     prism (either bt dt) $ \s -> fmap Right (setc s)
 {-# INLINE without' #-}
diff --git a/src/Data/Generics/Internal/Void.hs b/src/Data/Generics/Internal/Void.hs
--- a/src/Data/Generics/Internal/Void.hs
+++ b/src/Data/Generics/Internal/Void.hs
@@ -1,19 +1,24 @@
 {-# LANGUAGE PolyKinds #-}
-module Data.Generics.Internal.Void where
-
-{-
-  Note [Uncluttering type signatures]
-  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+module Data.Generics.Internal.Void
+  ( -- $note
+    Void
+  , Void1
+  , Void2
+  ) where
 
-  Because the various instances in the library always match (the Has* classes
-  are essentially glorified constraint synonyms), they get replaced with
-  their constraints, resulting in large, unreadable types.
+--
+-- $note
+-- = Uncluttering type signatures
+--
+-- Because the various instances in the library always match (the Has* classes
+-- are essentially glorified constraint synonyms), they get replaced with
+-- their constraints, resulting in large, unreadable types.
+--
+-- Writing an (overlapping instance) for this Void type means that the original
+-- instance might not be the one selected, thus GHC leaves the constraints in
+-- place until further information is provided, at which point the type
+-- machinery has sufficient information to reduce to sensible types.
 
-  Writing an (overlapping instance) for this Void type means that the original
-  instance might not be the one selected, thus GHC leaves the constraints in
-  place until further information is provided, at which point the type
-  machinery has sufficient information to reduce to sensible types.
--}
 data Void
 data Void1 a
 data Void2 a b
diff --git a/src/Data/Generics/Product/Internal/HList.hs b/src/Data/Generics/Product/Internal/HList.hs
--- a/src/Data/Generics/Product/Internal/HList.hs
+++ b/src/Data/Generics/Product/Internal/HList.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE AllowAmbiguousTypes    #-}
 {-# LANGUAGE ConstraintKinds        #-}
+{-# LANGUAGE FlexibleContexts       #-}
 {-# LANGUAGE FlexibleInstances      #-}
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE GADTs                  #-}
@@ -57,14 +58,12 @@
 
 instance Monoid (HList '[]) where
   mempty  = Nil
-  mappend _ _ = Nil
 
 instance (Semigroup a, Semigroup (HList as)) => Semigroup (HList (a ': as)) where
   (x :> xs) <> (y :> ys) = (x <> y) :> (xs <> ys)
 
 instance (Monoid a, Monoid (HList as)) => Monoid (HList (a ': as)) where
   mempty = mempty :> mempty
-  mappend (x :> xs) (y :> ys) = mappend x y :> mappend xs ys
 
 class Elem (as :: [(k, Type)]) (key :: k) (i :: Nat) a | as key -> i a
 instance {-# OVERLAPPING #-} pos ~ 0 => Elem (a ': xs) key pos a
diff --git a/src/Data/Generics/Product/Internal/Types.hs b/src/Data/Generics/Product/Internal/Types.hs
--- a/src/Data/Generics/Product/Internal/Types.hs
+++ b/src/Data/Generics/Product/Internal/Types.hs
@@ -3,6 +3,7 @@
 {-# LANGUAGE ConstraintKinds       #-}
 {-# LANGUAGE DataKinds             #-}
 {-# LANGUAGE DefaultSignatures     #-}
+{-# LANGUAGE FlexibleContexts      #-}
 {-# LANGUAGE FlexibleInstances     #-}
 {-# LANGUAGE KindSignatures        #-}
 {-# LANGUAGE MultiParamTypeClasses #-}