diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# 1.0.0.1
+
+- Compatibility with *base* 4.18 (GHC 9.6)
+
 # 1.0.0.0
 
 - `Generically` and `Generically1` are in *base* 4.17 (GHC 9.4.1)!
diff --git a/generic-data.cabal b/generic-data.cabal
--- a/generic-data.cabal
+++ b/generic-data.cabal
@@ -1,5 +1,5 @@
 name:                generic-data
-version:             1.0.0.0
+version:             1.0.0.1
 synopsis:            Deriving instances with GHC.Generics and related utilities
 description:
   Generic implementations of standard type classes.
@@ -46,7 +46,7 @@
     contravariant,
     ghc-boot-th,
     show-combinators,
-    base >= 4.9 && < 5
+    base >= 4.9 && < 4.19
   hs-source-dirs:      orphans
   exposed-modules:
     Generic.Data.Orphans
diff --git a/src/Generic/Data.hs b/src/Generic/Data.hs
--- a/src/Generic/Data.hs
+++ b/src/Generic/Data.hs
@@ -1,18 +1,12 @@
 -- | Generic combinators to derive type class instances.
 --
--- = Overview
---
--- /base/ classes that GHC can not derive instances for, as of version 8.2:
---
--- - 'Data.Semigroup.Semigroup', 'Monoid', 'Applicative',
---   'Control.Applicative.Alternative', 'Data.Functor.Classes.Eq1',
---   'Data.Functor.Classes.Ord1', 'Data.Functor.Classes.Show1'.
+-- == Orphans
 --
--- On /base/ < 4.12 (i.e., GHC < 8.6), import "Generic.Data.Orphans" to obtain
--- instances needed internally to derive those.
+-- The 'Data.Generic.Orphans' module should be imported to derive the following
+-- classes using this library:
 --
--- GHC can derive instances for other classes here, although there may be
--- types supported by one method but not the other or vice versa.
+-- - 'Eq1' and 'Ord1'
+-- - 'Semigroup' and 'Monoid' on GHC 8.4 or older (base <= 4.11)
 --
 -- == __Minor discrepancies__
 --
@@ -78,7 +72,7 @@
     -- | Default implementations for classes indexed by types
     -- (kind @Type@).
 
-    -- ** 'Data.Semigroup.Semigroup'
+    -- ** 'Semigroup'
   , gmappend
 
     -- ** 'Monoid'
@@ -105,7 +99,7 @@
 
     -- ** 'Enum'
   , GEnum()
-    -- *** StandardEnum option
+    -- *** 'StandardEnum' option
     -- | Can also be derived by GHC as part of the standard.
   , StandardEnum()
   , gtoEnum
@@ -114,7 +108,7 @@
   , genumFromThen
   , genumFromTo
   , genumFromThenTo
-    -- *** FiniteEnum option
+    -- *** 'FiniteEnum' option
   , FiniteEnum()
   , gtoFiniteEnum
   , gfromFiniteEnum
@@ -129,7 +123,7 @@
   , gmaxBound
   , GBounded()
 
-    -- ** 'Data.Ix.Ix'
+    -- ** 'Ix'
     -- | Can also be derived by GHC as part of the standard.
   , grange
   , gindex
@@ -164,21 +158,21 @@
   , gap
   , gliftA2
 
-    -- ** 'Control.Applicative.Alternative'
+    -- ** 'Alternative'
   , gempty
   , galt
 
-    -- ** 'Data.Functor.Classes.Eq1'
+    -- ** 'Eq1'
   , gliftEq
 
-    -- ** 'Data.Functor.Classes.Ord1'
+    -- ** 'Ord1'
   , gliftCompare
 
-    -- ** 'Data.Functor.Classes.Read1'
+    -- ** 'Read1'
   , gliftReadPrec
   , GRead1
 
-    -- ** 'Data.Functor.Classes.Show1'
+    -- ** 'Show1'
   , gliftShowsPrec
   , GShow1
 
diff --git a/src/Generic/Data/Internal/Generically.hs b/src/Generic/Data/Internal/Generically.hs
--- a/src/Generic/Data/Internal/Generically.hs
+++ b/src/Generic/Data/Internal/Generically.hs
@@ -247,11 +247,13 @@
   to1 = Generically1 . to1
   from1 (Generically1 x) = from1 x
 
+#if !MIN_VERSION_base(4,18,0)
 instance (Generic1 f, Eq1 (Rep1 f), Eq a) => Eq (Generically1 f a) where
   (==) = eq1
 
 instance (Generic1 f, Ord1 (Rep1 f), Ord a) => Ord (Generically1 f a) where
   compare = compare1
+#endif
 
 instance (Generic1 f, GRead1 (Rep1 f)) => Read1 (Generically1 f) where
 #if MIN_VERSION_base(4,10,0)