diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,16 @@
 `validation-selective` uses [PVP Versioning][1].
 The changelog is available [on GitHub][2].
 
+## 0.2.0.0 — Mar 1, 2023
+
+* [#62](https://github.com/kowainik/validation-selective/issues/62):
+  Support GHC-9.4.
+* Allow `hedgehog-1.2`.
+* Allow `selective-0.6`.
+* Allow `doctest-0.21`.
+* Remove support for GHC-8.4 (due to `selective-0.6`, which dropped support for
+  the earlier GHCs).
+
 ## 0.1.0.2 — Jun 11, 2021
 
 * [#62](https://github.com/kowainik/validation-selective/issues/62):
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -61,7 +61,7 @@
 ## How to use
 
 `validation-selective` is compatible with the latest GHC compiler
-versions starting from `8.4.4`.
+versions starting from `8.6`.
 
 In order to start using `validation-selective` in your project, you
 will need to set it up with the three easy steps:
diff --git a/src/Validation.hs b/src/Validation.hs
--- a/src/Validation.hs
+++ b/src/Validation.hs
@@ -7,7 +7,7 @@
 
 {- |
 Copyright:  (c) 2014 Chris Allen, Edward Kmett
-            (c) 2018-2022 Kowainik
+            (c) 2018-2023 Kowainik
 SPDX-License-Identifier: MPL-2.0
 Maintainer:  Kowainik <xrom.xkov@gmail.com>
 Stability:   Stable
@@ -408,7 +408,7 @@
 >>> mempty :: Validation String [Bool]
 Success []
 -}
-instance (Semigroup e, Semigroup a, Monoid a) => Monoid (Validation e a) where
+instance (Semigroup e, Monoid a) => Monoid (Validation e a) where
     mempty :: Validation e a
     mempty = Success mempty
     {-# INLINE mempty #-}
@@ -639,7 +639,7 @@
 >>> failure2 <|> success2
 Success [15]
 -}
-instance (Semigroup e, Monoid e) => Alternative (Validation e) where
+instance (Monoid e) => Alternative (Validation e) where
     empty :: Validation e a
     empty = Failure mempty
     {-# INLINE empty #-}
diff --git a/src/Validation/Combinators.hs b/src/Validation/Combinators.hs
--- a/src/Validation/Combinators.hs
+++ b/src/Validation/Combinators.hs
@@ -1,5 +1,5 @@
 {- |
-Copyright:  (c) 2020-2022 Kowainik
+Copyright:  (c) 2020-2023 Kowainik
 SPDX-License-Identifier: MPL-2.0
 Maintainer:  Kowainik <xrom.xkov@gmail.com>
 Stability:   Stable
diff --git a/validation-selective.cabal b/validation-selective.cabal
--- a/validation-selective.cabal
+++ b/validation-selective.cabal
@@ -1,6 +1,6 @@
 cabal-version:       2.4
 name:                validation-selective
-version:             0.1.0.2
+version:             0.2.0.0
 synopsis:            Lighweight pure data validation based on Applicative and Selective functors
 description:
     Lighweight pure data validation based on Applicative and Selective
@@ -20,24 +20,24 @@
 license-file:        LICENSE
 author:              Dmitrii Kovanikov, Veronika Romashkina
 maintainer:          Kowainik <xrom.xkov@gmail.com>
-copyright:           2020-2022 Kowainik
+copyright:           2020-2023 Kowainik
 category:            Validation, Selective, Data
 build-type:          Simple
 extra-doc-files:     README.md
                      CHANGELOG.md
-tested-with:         GHC == 8.4.4
-                     GHC == 8.6.5
+tested-with:         GHC == 8.6.5
                      GHC == 8.8.4
                      GHC == 8.10.7
                      GHC == 9.0.2
-                     GHC == 9.2.2
+                     GHC == 9.2.7
+                     GHC == 9.4.4
 
 source-repository head
   type:                git
   location:            https://github.com/kowainik/validation-selective.git
 
 common common-options
-  build-depends:       base >= 4.11 && < 4.17
+  build-depends:       base >= 4.12 && < 4.18
 
   ghc-options:         -Wall
                        -Wcompat
@@ -45,10 +45,8 @@
                        -Wincomplete-uni-patterns
                        -Wincomplete-record-updates
                        -Wredundant-constraints
-  if impl(ghc >= 8.2)
-    ghc-options:       -fhide-source-paths
-  if impl(ghc >= 8.4)
-    ghc-options:       -Wmissing-export-lists
+                       -fhide-source-paths
+                       -Wmissing-export-lists
                        -Wpartial-fields
   if impl(ghc >= 8.8)
     ghc-options:       -Wmissing-deriving-strategies
@@ -82,7 +80,7 @@
   exposed-modules:     Validation
                          Validation.Combinators
   build-depends:       deepseq ^>= 1.4.3.0
-                     , selective >= 0.3 && < 0.6
+                     , selective >= 0.3 && < 0.7
 
 test-suite validation-selective-test
   import:              common-options
@@ -93,7 +91,7 @@
                        Test.Laws
                        Test.Properties
   build-depends:       validation-selective
-                     , hedgehog >= 1.0 && < 1.2
+                     , hedgehog >= 1.0 && < 1.3
                      , hspec >= 2.7.1 && < 2.11
                      , hspec-hedgehog ^>= 0.0.1.1
                      , selective
@@ -107,5 +105,5 @@
   type:                exitcode-stdio-1.0
   hs-source-dirs:      test
   main-is:             Doctest.hs
-  build-depends:       doctest >= 0.16 && < 0.21
+  build-depends:       doctest >= 0.16 && < 0.22
   ghc-options:         -threaded