diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,8 @@
+# 0.0.0.3
+
+Support ghc 9.6 a little harder.
+
+
 # 0.0.0.2
 
 Support ghc 9.6.
diff --git a/fresnel.cabal b/fresnel.cabal
--- a/fresnel.cabal
+++ b/fresnel.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               fresnel
-version:            0.0.0.2
+version:            0.0.0.3
 synopsis:           high-powered optics in a small package
 description:        fresnel offers (non-indexed) profunctor optics composed with the lowly . operator.
 homepage:           https://github.com/fresnel/fresnel
@@ -84,7 +84,7 @@
     , containers   >= 0.5 && < 0.7
     , hashable     >= 1.3 && < 1.5
     , profunctors ^>= 5.6
-    , transformers  >= 0.4 && < 0.6
+    , transformers  >= 0.4 && < 0.7
     , unordered-containers ^>= 0.2
   hs-source-dirs: src
 
diff --git a/src/Fresnel/At.hs b/src/Fresnel/At.hs
--- a/src/Fresnel/At.hs
+++ b/src/Fresnel/At.hs
@@ -43,10 +43,10 @@
 instance Ord k => At (Map.Map k v) where
   at = atMap Map.lookup Map.insert Map.delete
 
-instance (Eq k, Hashable k) => At (HashSet.HashSet k) where
+instance Hashable k => At (HashSet.HashSet k) where
   at = atSet HashSet.member HashSet.insert HashSet.delete
 
-instance (Eq k, Hashable k) => At (HashMap.HashMap k v) where
+instance Hashable k => At (HashMap.HashMap k v) where
   at = atMap HashMap.lookup HashMap.insert HashMap.delete
 
 instance At (Maybe a) where
diff --git a/src/Fresnel/Ixed.hs b/src/Fresnel/Ixed.hs
--- a/src/Fresnel/Ixed.hs
+++ b/src/Fresnel/Ixed.hs
@@ -54,13 +54,13 @@
 
   ix = ixMap Map.lookup Map.insert
 
-instance (Eq k, Hashable k) => Ixed (HashSet.HashSet k) where
+instance Hashable k => Ixed (HashSet.HashSet k) where
   type Index (HashSet.HashSet k) = k
   type IxValue (HashSet.HashSet k) = ()
 
   ix = ixSet HashSet.member HashSet.insert
 
-instance (Eq k, Hashable k) => Ixed (HashMap.HashMap k v) where
+instance Hashable k => Ixed (HashMap.HashMap k v) where
   type Index (HashMap.HashMap k v) = k
   type IxValue (HashMap.HashMap k v) = v