diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+0.2.6 [2021.11.16]
+------------------
+* Drop support for pre-8.0 versions of GHC.
+
 0.2.5 [2021.02.17]
 ------------------
 * Allow building with `lens-5.*`.
diff --git a/lens-action.cabal b/lens-action.cabal
--- a/lens-action.cabal
+++ b/lens-action.cabal
@@ -1,6 +1,6 @@
 name:          lens-action
 category:      Data, Lenses, Generics
-version:       0.2.5
+version:       0.2.6
 license:       BSD3
 cabal-version: >= 1.10
 license-file:  LICENSE
@@ -12,16 +12,14 @@
 copyright:     Copyright (C) 2012-2014 Edward A. Kmett
 build-type:    Simple
 -- build-tools:   cpphs
-tested-with:   GHC == 7.4.2
-             , GHC == 7.6.3
-             , GHC == 7.8.4
-             , GHC == 7.10.3
-             , GHC == 8.0.2
+tested-with:   GHC == 8.0.2
              , GHC == 8.2.2
              , GHC == 8.4.4
              , GHC == 8.6.5
-             , GHC == 8.8.3
-             , GHC == 8.10.1
+             , GHC == 8.8.4
+             , GHC == 8.10.7
+             , GHC == 9.0.1
+             , GHC == 9.2.1
 synopsis:      Monadic Getters and Folds
 description:
   This package contains combinators and types for working with
@@ -41,24 +39,20 @@
 library
   build-depends:
     lens                      >= 4.7      && < 6,
-    base                      >= 4.5      && < 5,
+    base                      >= 4.9      && < 5,
     comonad                   >= 4        && < 6,
     contravariant             >= 1.2.1    && < 2,
-    profunctors               >= 4        && < 6,
+    profunctors               >= 5        && < 6,
     mtl                       >= 2.0.1    && < 2.3,
     semigroupoids             >= 4        && < 6,
     transformers              >= 0.2      && < 0.6
 
-  if impl(ghc < 8.0)
-    build-depends:
-      semigroups              >= 0.8.4    && < 1
-
   exposed-modules:
     Control.Lens.Action
     Control.Lens.Action.Internal
     Control.Lens.Action.Reified
     Control.Lens.Action.Type
 
-  ghc-options: -Wall -fwarn-tabs -O2 -fdicts-cheap -funbox-strict-fields -fmax-simplifier-iterations=10
+  ghc-options: -Wall -Wtabs -O2 -fdicts-cheap -funbox-strict-fields -fmax-simplifier-iterations=10
   hs-source-dirs: src
   default-language: Haskell2010
diff --git a/src/Control/Lens/Action.hs b/src/Control/Lens/Action.hs
--- a/src/Control/Lens/Action.hs
+++ b/src/Control/Lens/Action.hs
@@ -55,9 +55,7 @@
 import Control.Monad.Trans.Class
 import Data.Profunctor
 import Data.Profunctor.Rep
-#if MIN_VERSION_profunctors(5,0,0)
 import Data.Profunctor.Sieve
-#endif
 import Data.Profunctor.Unsafe
 
 import Control.Lens.Action.Internal
@@ -138,11 +136,7 @@
 act :: Monad m => (s -> m a) -> IndexPreservingAction m s a
 act sma pafb = cotabulate $ \ws -> effective $ do
    a <- sma (extract ws)
-#if MIN_VERSION_profunctors(5,0,0)
    ineffective (cosieve pafb (a <$ ws))
-#else
-   ineffective (corep pafb (a <$ ws))
-#endif
 {-# INLINE act #-}
 
 -- | A self-running 'Action', analogous to 'Control.Monad.join'.
diff --git a/src/Control/Lens/Action/Internal.hs b/src/Control/Lens/Action/Internal.hs
--- a/src/Control/Lens/Action/Internal.hs
+++ b/src/Control/Lens/Action/Internal.hs
@@ -100,8 +100,10 @@
 instance (Apply m, Monad m, Monoid r) => Monoid (Effect m r a) where
   mempty = Effect (return mempty)
   {-# INLINE mempty #-}
+#if !(MIN_VERSION_base(4,11,0))
   Effect ma `mappend` Effect mb = Effect (liftM2 mappend ma mb)
   {-# INLINE mappend #-}
+#endif
 
 instance (Apply m, Semigroup r) => Apply (Effect m r) where
   Effect ma <.> Effect mb = Effect (liftF2 (<>) ma mb)
diff --git a/src/Control/Lens/Action/Reified.hs b/src/Control/Lens/Action/Reified.hs
--- a/src/Control/Lens/Action/Reified.hs
+++ b/src/Control/Lens/Action/Reified.hs
@@ -114,8 +114,10 @@
   {-# INLINE (>>-) #-}
 
 instance Monad (ReifiedMonadicFold m s) where
+#if !(MIN_VERSION_base(4,11,0))
   return a = MonadicFold $ folding $ \_ -> [a]
   {-# INLINE return #-}
+#endif
   ma >>= f = ((ma >>^ f) &&& returnA) >>> app
   {-# INLINE (>>=) #-}
 
@@ -138,8 +140,10 @@
 instance Monoid (ReifiedMonadicFold m s a) where
   mempty = MonadicFold ignored
   {-# INLINE mempty #-}
+#if !(MIN_VERSION_base(4,11,0))
   mappend = (<|>)
   {-# INLINE mappend #-}
+#endif
 
 instance Alt (ReifiedMonadicFold m s) where
   (<!>) = (<|>)