diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,14 @@
 # Revision history for monoid-map
 
+## v0.2.0.1
+
+* Loosen version bounds
+* Support GHC 9.10
+
+## v0.2.0.0-r1
+
+* Loosen reflex version bound
+
 ## v0.2.0.0
 
 * Add support for DecidablyEmpty
diff --git a/monoid-map.cabal b/monoid-map.cabal
--- a/monoid-map.cabal
+++ b/monoid-map.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               monoid-map
-version:            0.2.0.0
+version:            0.2.0.1
 synopsis:           A monoidal map with the right group instance
 description:
   Newtype wrapper around 'Data.Map.Monoidal.MonoidalMap' that has a correct
@@ -30,10 +30,10 @@
 
   build-depends:
     , base                 >=4   && <5
-    , commutative-semigroups >= 0.1 && < 0.2
+    , commutative-semigroups >= 0.1 && < 0.3
     , monoidal-containers  ^>=0.6
-    , reflex               ^>=0.8
-    , witherable           >=0.3 && <0.5
+    , reflex               >=0.8 && < 1
+    , witherable           >=0.4 && <0.6
     , patch                >=0.0.8.0 && < 0.1
 
   hs-source-dirs:   src
diff --git a/src/Data/MonoidMap.hs b/src/Data/MonoidMap.hs
--- a/src/Data/MonoidMap.hs
+++ b/src/Data/MonoidMap.hs
@@ -14,14 +14,13 @@
 {-# LANGUAGE DataKinds #-}
 module Data.MonoidMap where
 
-import Data.Witherable
 import Data.Semigroup.Commutative
 import Data.Map.Monoidal (MonoidalMap)
 import qualified Data.Map.Monoidal as Map
-import Data.Semigroup (Semigroup, (<>))
 import Reflex (Query, QueryResult, crop, Group(..))
 import Data.Monoid.DecidablyEmpty
 import GHC.TypeLits
+import Witherable
 
 -- | Newtype wrapper around Data.Map.Monoidal.MonoidalMap
 newtype MonoidMap k v = MonoidMap { unMonoidMap :: MonoidalMap k v }