diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Revision history for commutative-semigroups
 
+## 0.1.1.0 -- 2024-03-24
+
+- Added more trivial instances for semigroups from base
+
 ## 0.1.0.2 -- 2023-12-22
 
 - Support GHC 9.8.1
diff --git a/commutative-semigroups.cabal b/commutative-semigroups.cabal
--- a/commutative-semigroups.cabal
+++ b/commutative-semigroups.cabal
@@ -1,6 +1,6 @@
 cabal-version:       2.4
 name:                commutative-semigroups
-version:             0.1.0.2
+version:             0.1.1.0
 synopsis:            Commutative semigroups
 description:
   A commutative semigroup is a semigroup where the order of arguments to mappend does not matter.
diff --git a/src/Data/Semigroup/Commutative.hs b/src/Data/Semigroup/Commutative.hs
--- a/src/Data/Semigroup/Commutative.hs
+++ b/src/Data/Semigroup/Commutative.hs
@@ -13,20 +13,27 @@
 #if MIN_VERSION_base(4,7,0)
 import Data.Proxy
 #endif
+#if MIN_VERSION_base(4,8,0)
+import Data.Void (Void)
+#endif
 #if MIN_VERSION_base(4,9,0) && !MIN_VERSION_base(4,11,0)
 import Data.Semigroup (Semigroup(..))
 #endif
 #if MIN_VERSION_base(4,9,0)
 import Data.Functor.Const
 import Data.Functor.Identity
+import Data.Semigroup (Max, Min, WrappedMonoid)
 #endif
+#if MIN_VERSION_base(4,10,0)
+import GHC.Event (Event, Lifetime)
+#endif
 #if MIN_VERSION_base(4,12,0)
 import Data.Functor.Contravariant (Op(Op))
 import GHC.Generics
 #endif
 import Numeric.Product.Commutative ( CommutativeProduct )
 
--- |An 'Commutative' semigroup is a 'Semigroup' that follows the rule:
+-- | A 'Commutative' semigroup is a 'Semigroup' that follows the rule:
 --
 -- @a \<> b == b \<> a@
 class
@@ -39,6 +46,24 @@
 
 -- | Trivial commutative semigroup.
 instance Commutative ()
+
+instance Commutative All
+instance Commutative Any
+
+#if MIN_VERSION_base(4,8,0)
+instance Commutative Void
+#endif
+
+#if MIN_VERSION_base(4,9,0)
+instance Ord a => Commutative (Max a)
+instance Ord a => Commutative (Min a)
+instance (Commutative a, Monoid a) => Commutative (WrappedMonoid a)
+#endif
+
+#if MIN_VERSION_base(4,10,0)
+instance Commutative Event
+instance Commutative Lifetime
+#endif
 
 -- | @since 0.0.1.0
 instance Commutative a => Commutative (Maybe a)