Update CI plans

* We drop support for 9.0.2 because quantified constraints seems buggy,
  or at least the ones we use don't compile successfully in 9.0.2

Author: alt-romes

.github/workflows/haskell-ci.yml

@@ -28,19 +28,19 @@ jobs:
     strategy:
       matrix:
         include:
-          - compiler: ghc-9.4.2
+          - compiler: ghc-9.6.2
             compilerKind: ghc
-            compilerVersion: 9.4.2
+            compilerVersion: 9.6.2
             setup-method: ghcup
             allow-failure: false
-          - compiler: ghc-9.2.2
+          - compiler: ghc-9.4.5
             compilerKind: ghc
-            compilerVersion: 9.2.2
+            compilerVersion: 9.4.5
             setup-method: ghcup
             allow-failure: false
-          - compiler: ghc-9.0.2
+          - compiler: ghc-9.2.7
             compilerKind: ghc
-            compilerVersion: 9.0.2
+            compilerVersion: 9.2.7
             setup-method: ghcup
             allow-failure: false
           - compiler: ghc-8.10.7

hegg.cabal

@@ -1,7 +1,7 @@
 cabal-version:      2.4
 name:               hegg
 version:            0.4.0.0
-Tested-With:        GHC ==9.4.2 || ==9.2.2 || ==9.0.2 || ==8.10.7
+Tested-With:        GHC ==9.6.2 || ==9.4.5 || ==9.2.7 || ==8.10.7
 synopsis:           Fast equality saturation in Haskell
 
 description:        Fast equality saturation and equality graphs based on "egg: