diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,10 @@
+# 0.1.1 -- 2023-03-10
+
+* Backport `Eq` and `Ord` instances for `Generically1`, which were introduced
+  in `base-4.18.0.0`. To ensure that these instances are in scope when building
+  with `base-4.17.0.0` (in which `Generically1` is defined in `base`, not this
+  library), we also add a dependency on `base-orphans`.
+
 # 0.1 -- 2022-06-15
 
 * First version.
diff --git a/generically.cabal b/generically.cabal
--- a/generically.cabal
+++ b/generically.cabal
@@ -1,6 +1,6 @@
 cabal-version:      1.12
 name:               generically
-version:            0.1
+version:            0.1.1
 synopsis:           Generically newtype to use with DerivingVia
 description:
   This is a compatibility package as @Generically@ and @Generically1@ newtypes
@@ -23,8 +23,9 @@
    || ==8.8.4
    || ==8.10.7
    || ==9.0.2
-   || ==9.2.3
-   || ==9.4.1
+   || ==9.2.7
+   || ==9.4.4
+   || ==9.6.1
 
 source-repository head
   type:     git
@@ -33,5 +34,7 @@
 library
   default-language: Haskell2010
   build-depends:    base >=4.9 && <4.18
+  if impl(ghc >= 9.4) && !impl(ghc >= 9.6)
+    build-depends:  base-orphans >=0.8.8 && <0.10
   hs-source-dirs:   src
   exposed-modules:  GHC.Generics.Generically
diff --git a/src/GHC/Generics/Generically.hs b/src/GHC/Generics/Generically.hs
--- a/src/GHC/Generics/Generically.hs
+++ b/src/GHC/Generics/Generically.hs
@@ -20,6 +20,9 @@
 
 #if MIN_VERSION_base(4,17,0)
 import GHC.Generics
+#if !MIN_VERSION_base(4,18,0)
+import Data.Orphans () -- To bring Eq/Ord instances for Generically1 into scope
+#endif
 #else
 
 #if __GLASGOW_HASKELL__ >= 810
@@ -40,7 +43,7 @@
 -------------------------------------------------------------------------------
 
 -- | A type whose instances are defined generically, using the
--- 'Generic' representation. 
+-- 'Generic' representation.
 newtype Generically a = Generically a
 
 instance (Generic a, Semigroup (Rep a ())) => Semigroup (Generically a) where
@@ -96,6 +99,13 @@
 
   (<|>) :: Generically1 f a -> Generically1 f a -> Generically1 f a
   Generically1 as1 <|> Generically1 as2 = Generically1 (to1 (from1 as1 <|> from1 as2))
+
+instance (Generic1 f, Eq (Rep1 f a)) => Eq (Generically1 f a) where
+   Generically1 x == Generically1 y = from1 x == from1 y
+   Generically1 x /= Generically1 y = from1 x /= from1 y
+
+instance (Generic1 f, Ord (Rep1 f a)) => Ord (Generically1 f a) where
+   Generically1 x `compare` Generically1 y = from1 x `compare` from1 y
 
 instance (Generic1 f, Eq1 (Rep1 f)) => Eq1 (Generically1 f) where
   liftEq :: (a -> b -> Bool) -> (Generically1 f a -> Generically1 f b -> Bool)