From e7c85dc6f71dafc9a13ae7862ccbf08cdcfcf760 Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Thu, 29 Jun 2023 10:19:50 -0400
Subject: [PATCH] CI: Test GHC 9.2.8, 9.4.5, 9.6.2

---
 .github/workflows/ci.yaml                     |  4 +-
 cabal.project.freeze.ghc-8.10.7               | 97 ------------------
 cabal.project.freeze.ghc-8.8.4                | 98 -------------------
 cabal.project.freeze.ghc-9.0.2                | 97 ------------------
 ...hc-9.2.2 => cabal.project.freeze.ghc-9.2.8 | 86 ++++++++--------
 cabal.project.freeze.ghc-9.4.5                | 94 ++++++++++++++++++
 cabal.project.freeze.ghc-9.6.2                | 92 +++++++++++++++++
 7 files changed, 230 insertions(+), 338 deletions(-)
 delete mode 100644 cabal.project.freeze.ghc-8.10.7
 delete mode 100644 cabal.project.freeze.ghc-8.8.4
 delete mode 100644 cabal.project.freeze.ghc-9.0.2
 rename cabal.project.freeze.ghc-9.2.2 => cabal.project.freeze.ghc-9.2.8 (59%)
 create mode 100644 cabal.project.freeze.ghc-9.4.5
 create mode 100644 cabal.project.freeze.ghc-9.6.2

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index e0ed98a..921bca3 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -7,8 +7,8 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        ghc-ver: ["8.8.4", "8.10.7", "9.0.2", "9.2.2"]
-        cabal: ["3.6.2.0"]
+        ghc-ver: ["9.2.8", "9.4.5", "9.6.2"]
+        cabal: ["3.10.1.0"]
       # complete all jobs
       fail-fast: false
     name: GHC v${{ matrix.ghc-ver }}
diff --git a/cabal.project.freeze.ghc-8.10.7 b/cabal.project.freeze.ghc-8.10.7
deleted file mode 100644
index 5f13eeb..0000000
--- a/cabal.project.freeze.ghc-8.10.7
+++ /dev/null
@@ -1,97 +0,0 @@
-active-repositories: hackage.haskell.org:merge
-constraints: any.OneTuple ==0.3.1,
-             any.QuickCheck ==2.14.2,
-             QuickCheck -old-random +templatehaskell,
-             any.StateVar ==1.2.2,
-             any.adjunctions ==4.4,
-             any.ansi-terminal ==0.11.1,
-             ansi-terminal -example,
-             any.ansi-wl-pprint ==0.6.9,
-             ansi-wl-pprint -example,
-             any.array ==0.5.4.0,
-             any.assoc ==1.0.2,
-             any.base ==4.14.3.0,
-             any.base-orphans ==0.8.6,
-             any.bifunctors ==5.5.11,
-             bifunctors +semigroups +tagged,
-             any.binary ==0.8.8.0,
-             any.bytestring ==0.10.12.0,
-             any.call-stack ==0.4.0,
-             any.clock ==0.8.3,
-             clock -llvm,
-             any.colour ==2.3.6,
-             any.comonad ==5.0.8,
-             comonad +containers +distributive +indexed-traversable,
-             any.containers ==0.6.5.1,
-             any.contravariant ==1.5.5,
-             contravariant +semigroups +statevar +tagged,
-             any.deepseq ==1.4.4.0,
-             any.directory ==1.3.6.0,
-             any.distributive ==0.6.2.1,
-             distributive +semigroups +tagged,
-             any.exceptions ==0.10.4,
-             any.filepath ==1.4.2.1,
-             any.free ==5.1.7,
-             any.ghc-boot-th ==8.10.7,
-             any.ghc-prim ==0.6.1,
-             any.hashable ==1.4.0.2,
-             hashable +containers +integer-gmp -random-initial-seed,
-             any.indexed-traversable ==0.1.2,
-             any.indexed-traversable-instances ==0.1.1,
-             any.integer-gmp ==1.0.3.0,
-             any.invariant ==0.5.5,
-             any.kan-extensions ==5.2.3,
-             any.lens ==5.1,
-             lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
-             any.mtl ==2.2.2,
-             any.optparse-applicative ==0.17.0.0,
-             optparse-applicative +process,
-             any.parallel ==3.2.2.0,
-             any.pretty ==1.1.3.6,
-             any.prettyprinter ==1.7.1,
-             prettyprinter -buildreadme +text,
-             any.primitive ==0.7.3.0,
-             any.process ==1.6.13.2,
-             any.profunctors ==5.6.2,
-             any.random ==1.2.1,
-             any.reflection ==2.1.6,
-             reflection -slow +template-haskell,
-             any.rts ==1.0.1,
-             any.semigroupoids ==5.3.7,
-             semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
-             any.semigroups ==0.20,
-             semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
-             any.splitmix ==0.1.0.4,
-             splitmix -optimised-mixer,
-             any.stm ==2.5.0.1,
-             any.strict ==0.4.0.1,
-             strict +assoc,
-             any.tagged ==0.8.6.1,
-             tagged +deepseq +transformers,
-             any.tasty ==1.4.2.1,
-             tasty +clock +unix,
-             any.tasty-hunit ==0.10.0.3,
-             any.tasty-quickcheck ==0.10.2,
-             any.template-haskell ==2.16.0.0,
-             any.text ==1.2.4.1,
-             any.th-abstraction ==0.4.3.0,
-             any.these ==1.1.1.1,
-             these +assoc,
-             any.time ==1.9.3,
-             any.transformers ==0.5.6.2,
-             any.transformers-base ==0.4.6,
-             transformers-base +orphaninstances,
-             any.transformers-compat ==0.7.1,
-             transformers-compat -five +five-three -four +generic-deriving +mtl -three -two,
-             any.unbounded-delays ==0.1.1.1,
-             any.unix ==2.7.2.2,
-             any.unordered-containers ==0.2.19.1,
-             unordered-containers -debug,
-             any.utf8-string ==1.0.2,
-             any.vector ==0.12.3.1,
-             vector +boundschecks -internalchecks -unsafechecks -wall,
-             any.void ==0.7.3,
-             void -safe,
-             any.wcwidth ==0.0.2,
-             wcwidth -cli +split-base
-index-state: hackage.haskell.org 2022-04-27T13:22:15Z
diff --git a/cabal.project.freeze.ghc-8.8.4 b/cabal.project.freeze.ghc-8.8.4
deleted file mode 100644
index 86a4b44..0000000
--- a/cabal.project.freeze.ghc-8.8.4
+++ /dev/null
@@ -1,98 +0,0 @@
-active-repositories: hackage.haskell.org:merge
-constraints: any.OneTuple ==0.3.1,
-             any.QuickCheck ==2.14.2,
-             QuickCheck -old-random +templatehaskell,
-             any.StateVar ==1.2.2,
-             any.adjunctions ==4.4,
-             any.ansi-terminal ==0.11.1,
-             ansi-terminal -example,
-             any.ansi-wl-pprint ==0.6.9,
-             ansi-wl-pprint -example,
-             any.array ==0.5.4.0,
-             any.assoc ==1.0.2,
-             any.base ==4.13.0.0,
-             any.base-orphans ==0.8.6,
-             any.bifunctors ==5.5.11,
-             bifunctors +semigroups +tagged,
-             any.binary ==0.8.7.0,
-             any.bytestring ==0.10.10.1,
-             any.call-stack ==0.4.0,
-             any.clock ==0.8.3,
-             clock -llvm,
-             any.colour ==2.3.6,
-             any.comonad ==5.0.8,
-             comonad +containers +distributive +indexed-traversable,
-             any.containers ==0.6.2.1,
-             any.contravariant ==1.5.5,
-             contravariant +semigroups +statevar +tagged,
-             any.deepseq ==1.4.4.0,
-             any.directory ==1.3.6.0,
-             any.distributive ==0.6.2.1,
-             distributive +semigroups +tagged,
-             any.exceptions ==0.10.4,
-             exceptions +transformers-0-4,
-             any.filepath ==1.4.2.1,
-             any.free ==5.1.7,
-             any.ghc-boot-th ==8.8.4,
-             any.ghc-prim ==0.5.3,
-             any.hashable ==1.4.0.2,
-             hashable +containers +integer-gmp -random-initial-seed,
-             any.indexed-traversable ==0.1.2,
-             any.indexed-traversable-instances ==0.1.1,
-             any.integer-gmp ==1.0.2.0,
-             any.invariant ==0.5.5,
-             any.kan-extensions ==5.2.3,
-             any.lens ==5.1,
-             lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
-             any.mtl ==2.2.2,
-             any.optparse-applicative ==0.17.0.0,
-             optparse-applicative +process,
-             any.parallel ==3.2.2.0,
-             any.pretty ==1.1.3.6,
-             any.prettyprinter ==1.7.1,
-             prettyprinter -buildreadme +text,
-             any.primitive ==0.7.3.0,
-             any.process ==1.6.9.0,
-             any.profunctors ==5.6.2,
-             any.random ==1.2.1,
-             any.reflection ==2.1.6,
-             reflection -slow +template-haskell,
-             any.rts ==1.0,
-             any.semigroupoids ==5.3.7,
-             semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
-             any.semigroups ==0.20,
-             semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
-             any.splitmix ==0.1.0.4,
-             splitmix -optimised-mixer,
-             any.stm ==2.5.0.0,
-             any.strict ==0.4.0.1,
-             strict +assoc,
-             any.tagged ==0.8.6.1,
-             tagged +deepseq +transformers,
-             any.tasty ==1.4.2.1,
-             tasty +clock +unix,
-             any.tasty-hunit ==0.10.0.3,
-             any.tasty-quickcheck ==0.10.2,
-             any.template-haskell ==2.15.0.0,
-             any.text ==1.2.4.0,
-             any.th-abstraction ==0.4.3.0,
-             any.these ==1.1.1.1,
-             these +assoc,
-             any.time ==1.9.3,
-             any.transformers ==0.5.6.2,
-             any.transformers-base ==0.4.6,
-             transformers-base +orphaninstances,
-             any.transformers-compat ==0.7.1,
-             transformers-compat -five +five-three -four +generic-deriving +mtl -three -two,
-             any.unbounded-delays ==0.1.1.1,
-             any.unix ==2.7.2.2,
-             any.unordered-containers ==0.2.19.1,
-             unordered-containers -debug,
-             any.utf8-string ==1.0.2,
-             any.vector ==0.12.3.1,
-             vector +boundschecks -internalchecks -unsafechecks -wall,
-             any.void ==0.7.3,
-             void -safe,
-             any.wcwidth ==0.0.2,
-             wcwidth -cli +split-base
-index-state: hackage.haskell.org 2022-04-27T13:22:15Z
diff --git a/cabal.project.freeze.ghc-9.0.2 b/cabal.project.freeze.ghc-9.0.2
deleted file mode 100644
index e866f64..0000000
--- a/cabal.project.freeze.ghc-9.0.2
+++ /dev/null
@@ -1,97 +0,0 @@
-active-repositories: hackage.haskell.org:merge
-constraints: any.OneTuple ==0.3.1,
-             any.QuickCheck ==2.14.2,
-             QuickCheck -old-random +templatehaskell,
-             any.StateVar ==1.2.2,
-             any.adjunctions ==4.4,
-             any.ansi-terminal ==0.11.1,
-             ansi-terminal -example,
-             any.ansi-wl-pprint ==0.6.9,
-             ansi-wl-pprint -example,
-             any.array ==0.5.4.0,
-             any.assoc ==1.0.2,
-             any.base ==4.15.1.0,
-             any.base-orphans ==0.8.6,
-             any.bifunctors ==5.5.11,
-             bifunctors +semigroups +tagged,
-             any.binary ==0.8.8.0,
-             any.bytestring ==0.10.12.1,
-             any.call-stack ==0.4.0,
-             any.clock ==0.8.3,
-             clock -llvm,
-             any.colour ==2.3.6,
-             any.comonad ==5.0.8,
-             comonad +containers +distributive +indexed-traversable,
-             any.containers ==0.6.4.1,
-             any.contravariant ==1.5.5,
-             contravariant +semigroups +statevar +tagged,
-             any.deepseq ==1.4.5.0,
-             any.directory ==1.3.6.2,
-             any.distributive ==0.6.2.1,
-             distributive +semigroups +tagged,
-             any.exceptions ==0.10.4,
-             any.filepath ==1.4.2.1,
-             any.free ==5.1.7,
-             any.ghc-bignum ==1.1,
-             any.ghc-boot-th ==9.0.2,
-             any.ghc-prim ==0.7.0,
-             any.hashable ==1.4.0.2,
-             hashable +containers +integer-gmp -random-initial-seed,
-             any.indexed-traversable ==0.1.2,
-             any.indexed-traversable-instances ==0.1.1,
-             any.invariant ==0.5.5,
-             any.kan-extensions ==5.2.3,
-             any.lens ==5.1,
-             lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
-             any.mtl ==2.2.2,
-             any.optparse-applicative ==0.17.0.0,
-             optparse-applicative +process,
-             any.parallel ==3.2.2.0,
-             any.pretty ==1.1.3.6,
-             any.prettyprinter ==1.7.1,
-             prettyprinter -buildreadme +text,
-             any.primitive ==0.7.3.0,
-             any.process ==1.6.13.2,
-             any.profunctors ==5.6.2,
-             any.random ==1.2.1,
-             any.reflection ==2.1.6,
-             reflection -slow +template-haskell,
-             any.rts ==1.0.2,
-             any.semigroupoids ==5.3.7,
-             semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
-             any.semigroups ==0.20,
-             semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
-             any.splitmix ==0.1.0.4,
-             splitmix -optimised-mixer,
-             any.stm ==2.5.0.0,
-             any.strict ==0.4.0.1,
-             strict +assoc,
-             any.tagged ==0.8.6.1,
-             tagged +deepseq +transformers,
-             any.tasty ==1.4.2.1,
-             tasty +clock +unix,
-             any.tasty-hunit ==0.10.0.3,
-             any.tasty-quickcheck ==0.10.2,
-             any.template-haskell ==2.17.0.0,
-             any.text ==1.2.5.0,
-             any.th-abstraction ==0.4.3.0,
-             any.these ==1.1.1.1,
-             these +assoc,
-             any.time ==1.9.3,
-             any.transformers ==0.5.6.2,
-             any.transformers-base ==0.4.6,
-             transformers-base +orphaninstances,
-             any.transformers-compat ==0.7.1,
-             transformers-compat -five +five-three -four +generic-deriving +mtl -three -two,
-             any.unbounded-delays ==0.1.1.1,
-             any.unix ==2.7.2.2,
-             any.unordered-containers ==0.2.19.1,
-             unordered-containers -debug,
-             any.utf8-string ==1.0.2,
-             any.vector ==0.12.3.1,
-             vector +boundschecks -internalchecks -unsafechecks -wall,
-             any.void ==0.7.3,
-             void -safe,
-             any.wcwidth ==0.0.2,
-             wcwidth -cli +split-base
-index-state: hackage.haskell.org 2022-04-27T13:22:15Z
diff --git a/cabal.project.freeze.ghc-9.2.2 b/cabal.project.freeze.ghc-9.2.8
similarity index 59%
rename from cabal.project.freeze.ghc-9.2.2
rename to cabal.project.freeze.ghc-9.2.8
index 863b924..e1cf4bc 100644
--- a/cabal.project.freeze.ghc-9.2.2
+++ b/cabal.project.freeze.ghc-9.2.8
@@ -1,97 +1,95 @@
 active-repositories: hackage.haskell.org:merge
-constraints: any.OneTuple ==0.3.1,
-             any.QuickCheck ==2.14.2,
+constraints: any.OneTuple ==0.4.1.1,
+             any.QuickCheck ==2.14.3,
              QuickCheck -old-random +templatehaskell,
              any.StateVar ==1.2.2,
-             any.adjunctions ==4.4,
-             any.ansi-terminal ==0.11.1,
+             any.adjunctions ==4.4.2,
+             any.ansi-terminal ==1.0,
              ansi-terminal -example,
-             any.ansi-wl-pprint ==0.6.9,
-             ansi-wl-pprint -example,
+             any.ansi-terminal-types ==0.11.5,
              any.array ==0.5.4.0,
-             any.assoc ==1.0.2,
-             any.base ==4.16.1.0,
-             any.base-orphans ==0.8.6,
-             any.bifunctors ==5.5.11,
-             bifunctors +semigroups +tagged,
+             any.assoc ==1.1,
+             assoc +tagged,
+             any.base ==4.16.4.0,
+             any.base-orphans ==0.9.0,
+             any.bifunctors ==5.6.1,
+             bifunctors +tagged,
              any.binary ==0.8.9.0,
-             any.bytestring ==0.11.3.0,
+             any.bytestring ==0.11.4.0,
              any.call-stack ==0.4.0,
-             any.clock ==0.8.3,
-             clock -llvm,
              any.colour ==2.3.6,
              any.comonad ==5.0.8,
              comonad +containers +distributive +indexed-traversable,
              any.containers ==0.6.5.1,
              any.contravariant ==1.5.5,
              contravariant +semigroups +statevar +tagged,
+             any.data-array-byte ==0.1.0.1,
              any.deepseq ==1.4.6.1,
              any.directory ==1.3.6.2,
              any.distributive ==0.6.2.1,
              distributive +semigroups +tagged,
              any.exceptions ==0.10.4,
              any.filepath ==1.4.2.2,
-             any.free ==5.1.7,
+             any.foldable1-classes-compat ==0.1,
+             foldable1-classes-compat +tagged,
+             any.free ==5.2,
              any.ghc-bignum ==1.2,
-             any.ghc-boot-th ==9.2.2,
+             any.ghc-boot-th ==9.2.8,
              any.ghc-prim ==0.8.0,
-             any.hashable ==1.4.0.2,
-             hashable +containers +integer-gmp -random-initial-seed,
-             any.indexed-traversable ==0.1.2,
-             any.indexed-traversable-instances ==0.1.1,
-             any.invariant ==0.5.5,
-             any.kan-extensions ==5.2.3,
-             any.lens ==5.1,
+             any.hashable ==1.4.2.0,
+             hashable +integer-gmp -random-initial-seed,
+             any.indexed-traversable ==0.1.2.1,
+             any.indexed-traversable-instances ==0.1.1.2,
+             any.invariant ==0.6.1,
+             any.kan-extensions ==5.2.5,
+             any.lens ==5.2.2,
              lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
              any.mtl ==2.2.2,
-             any.optparse-applicative ==0.17.0.0,
+             any.optparse-applicative ==0.18.1.0,
              optparse-applicative +process,
              any.parallel ==3.2.2.0,
              any.pretty ==1.1.3.6,
              any.prettyprinter ==1.7.1,
              prettyprinter -buildreadme +text,
-             any.primitive ==0.7.3.0,
-             any.process ==1.6.13.2,
+             any.prettyprinter-ansi-terminal ==1.1.3,
+             any.primitive ==0.8.0.0,
+             any.process ==1.6.16.0,
              any.profunctors ==5.6.2,
-             any.random ==1.2.1,
-             any.reflection ==2.1.6,
+             any.random ==1.2.1.1,
+             any.reflection ==2.1.7,
              reflection -slow +template-haskell,
              any.rts ==1.0.2,
-             any.semigroupoids ==5.3.7,
+             any.semigroupoids ==6.0.0.1,
              semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
              any.semigroups ==0.20,
              semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
              any.splitmix ==0.1.0.4,
              splitmix -optimised-mixer,
              any.stm ==2.5.0.2,
-             any.strict ==0.4.0.1,
-             strict +assoc,
-             any.tagged ==0.8.6.1,
+             any.strict ==0.5,
+             any.tagged ==0.8.7,
              tagged +deepseq +transformers,
-             any.tasty ==1.4.2.1,
-             tasty +clock +unix,
+             any.tasty ==1.4.3,
+             tasty +unix,
              any.tasty-hunit ==0.10.0.3,
              any.tasty-quickcheck ==0.10.2,
              any.template-haskell ==2.18.0.0,
              any.text ==1.2.5.0,
-             any.th-abstraction ==0.4.3.0,
-             any.these ==1.1.1.1,
-             these +assoc,
+             any.th-abstraction ==0.5.0.0,
+             any.these ==1.2,
              any.time ==1.11.1.1,
              any.transformers ==0.5.6.2,
              any.transformers-base ==0.4.6,
              transformers-base +orphaninstances,
-             any.transformers-compat ==0.7.1,
+             any.transformers-compat ==0.7.2,
              transformers-compat -five +five-three -four +generic-deriving +mtl -three -two,
-             any.unbounded-delays ==0.1.1.1,
              any.unix ==2.7.2.2,
              any.unordered-containers ==0.2.19.1,
              unordered-containers -debug,
              any.utf8-string ==1.0.2,
-             any.vector ==0.12.3.1,
+             any.vector ==0.13.0.0,
              vector +boundschecks -internalchecks -unsafechecks -wall,
+             any.vector-stream ==0.1.0.0,
              any.void ==0.7.3,
-             void -safe,
-             any.wcwidth ==0.0.2,
-             wcwidth -cli +split-base
-index-state: hackage.haskell.org 2022-04-27T13:22:15Z
+             void -safe
+index-state: hackage.haskell.org 2023-06-09T13:53:50Z
diff --git a/cabal.project.freeze.ghc-9.4.5 b/cabal.project.freeze.ghc-9.4.5
new file mode 100644
index 0000000..30a8d27
--- /dev/null
+++ b/cabal.project.freeze.ghc-9.4.5
@@ -0,0 +1,94 @@
+active-repositories: hackage.haskell.org:merge
+constraints: any.OneTuple ==0.4.1.1,
+             any.QuickCheck ==2.14.3,
+             QuickCheck -old-random +templatehaskell,
+             any.StateVar ==1.2.2,
+             any.adjunctions ==4.4.2,
+             any.ansi-terminal ==1.0,
+             ansi-terminal -example,
+             any.ansi-terminal-types ==0.11.5,
+             any.array ==0.5.4.0,
+             any.assoc ==1.1,
+             assoc +tagged,
+             any.base ==4.17.1.0,
+             any.base-orphans ==0.9.0,
+             any.bifunctors ==5.6.1,
+             bifunctors +tagged,
+             any.binary ==0.8.9.1,
+             any.bytestring ==0.11.4.0,
+             any.call-stack ==0.4.0,
+             any.colour ==2.3.6,
+             any.comonad ==5.0.8,
+             comonad +containers +distributive +indexed-traversable,
+             any.containers ==0.6.7,
+             any.contravariant ==1.5.5,
+             contravariant +semigroups +statevar +tagged,
+             any.deepseq ==1.4.8.0,
+             any.directory ==1.3.7.1,
+             any.distributive ==0.6.2.1,
+             distributive +semigroups +tagged,
+             any.exceptions ==0.10.5,
+             any.filepath ==1.4.2.2,
+             any.foldable1-classes-compat ==0.1,
+             foldable1-classes-compat +tagged,
+             any.free ==5.2,
+             any.ghc-bignum ==1.3,
+             any.ghc-boot-th ==9.4.5,
+             any.ghc-prim ==0.9.0,
+             any.hashable ==1.4.2.0,
+             hashable +integer-gmp -random-initial-seed,
+             any.indexed-traversable ==0.1.2.1,
+             any.indexed-traversable-instances ==0.1.1.2,
+             any.invariant ==0.6.1,
+             any.kan-extensions ==5.2.5,
+             any.lens ==5.2.2,
+             lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
+             any.mtl ==2.2.2,
+             any.optparse-applicative ==0.18.1.0,
+             optparse-applicative +process,
+             any.parallel ==3.2.2.0,
+             any.pretty ==1.1.3.6,
+             any.prettyprinter ==1.7.1,
+             prettyprinter -buildreadme +text,
+             any.prettyprinter-ansi-terminal ==1.1.3,
+             any.primitive ==0.8.0.0,
+             any.process ==1.6.16.0,
+             any.profunctors ==5.6.2,
+             any.random ==1.2.1.1,
+             any.reflection ==2.1.7,
+             reflection -slow +template-haskell,
+             any.rts ==1.0.2,
+             any.semigroupoids ==6.0.0.1,
+             semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
+             any.semigroups ==0.20,
+             semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
+             any.splitmix ==0.1.0.4,
+             splitmix -optimised-mixer,
+             any.stm ==2.5.1.0,
+             any.strict ==0.5,
+             any.tagged ==0.8.7,
+             tagged +deepseq +transformers,
+             any.tasty ==1.4.3,
+             tasty +unix,
+             any.tasty-hunit ==0.10.0.3,
+             any.tasty-quickcheck ==0.10.2,
+             any.template-haskell ==2.19.0.0,
+             any.text ==2.0.2,
+             any.th-abstraction ==0.5.0.0,
+             any.these ==1.2,
+             any.time ==1.12.2,
+             any.transformers ==0.5.6.2,
+             any.transformers-base ==0.4.6,
+             transformers-base +orphaninstances,
+             any.transformers-compat ==0.7.2,
+             transformers-compat -five +five-three -four +generic-deriving +mtl -three -two,
+             any.unix ==2.7.3,
+             any.unordered-containers ==0.2.19.1,
+             unordered-containers -debug,
+             any.utf8-string ==1.0.2,
+             any.vector ==0.13.0.0,
+             vector +boundschecks -internalchecks -unsafechecks -wall,
+             any.vector-stream ==0.1.0.0,
+             any.void ==0.7.3,
+             void -safe
+index-state: hackage.haskell.org 2023-06-09T13:53:50Z
diff --git a/cabal.project.freeze.ghc-9.6.2 b/cabal.project.freeze.ghc-9.6.2
new file mode 100644
index 0000000..2201d34
--- /dev/null
+++ b/cabal.project.freeze.ghc-9.6.2
@@ -0,0 +1,92 @@
+active-repositories: hackage.haskell.org:merge
+constraints: any.OneTuple ==0.4.1.1,
+             any.QuickCheck ==2.14.3,
+             QuickCheck -old-random +templatehaskell,
+             any.StateVar ==1.2.2,
+             any.adjunctions ==4.4.2,
+             any.ansi-terminal ==1.0,
+             ansi-terminal -example,
+             any.ansi-terminal-types ==0.11.5,
+             any.array ==0.5.5.0,
+             any.assoc ==1.1,
+             assoc +tagged,
+             any.base ==4.18.0.0,
+             any.base-orphans ==0.9.0,
+             any.bifunctors ==5.6.1,
+             bifunctors +tagged,
+             any.binary ==0.8.9.1,
+             any.bytestring ==0.11.4.0,
+             any.call-stack ==0.4.0,
+             any.colour ==2.3.6,
+             any.comonad ==5.0.8,
+             comonad +containers +distributive +indexed-traversable,
+             any.containers ==0.6.7,
+             any.contravariant ==1.5.5,
+             contravariant +semigroups +statevar +tagged,
+             any.deepseq ==1.4.8.1,
+             any.directory ==1.3.8.1,
+             any.distributive ==0.6.2.1,
+             distributive +semigroups +tagged,
+             any.exceptions ==0.10.7,
+             any.filepath ==1.4.100.1,
+             any.free ==5.2,
+             any.ghc-bignum ==1.3,
+             any.ghc-boot-th ==9.6.2,
+             any.ghc-prim ==0.10.0,
+             any.hashable ==1.4.2.0,
+             hashable +integer-gmp -random-initial-seed,
+             any.indexed-traversable ==0.1.2.1,
+             any.indexed-traversable-instances ==0.1.1.2,
+             any.invariant ==0.6.1,
+             any.kan-extensions ==5.2.5,
+             any.lens ==5.2.2,
+             lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
+             any.mtl ==2.3.1,
+             any.optparse-applicative ==0.18.1.0,
+             optparse-applicative +process,
+             any.parallel ==3.2.2.0,
+             any.pretty ==1.1.3.6,
+             any.prettyprinter ==1.7.1,
+             prettyprinter -buildreadme +text,
+             any.prettyprinter-ansi-terminal ==1.1.3,
+             any.primitive ==0.8.0.0,
+             any.process ==1.6.17.0,
+             any.profunctors ==5.6.2,
+             any.random ==1.2.1.1,
+             any.reflection ==2.1.7,
+             reflection -slow +template-haskell,
+             any.rts ==1.0.2,
+             any.semigroupoids ==6.0.0.1,
+             semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
+             any.semigroups ==0.20,
+             semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
+             any.splitmix ==0.1.0.4,
+             splitmix -optimised-mixer,
+             any.stm ==2.5.1.0,
+             any.strict ==0.5,
+             any.tagged ==0.8.7,
+             tagged +deepseq +transformers,
+             any.tasty ==1.4.3,
+             tasty +unix,
+             any.tasty-hunit ==0.10.0.3,
+             any.tasty-quickcheck ==0.10.2,
+             any.template-haskell ==2.20.0.0,
+             any.text ==2.0.2,
+             any.th-abstraction ==0.5.0.0,
+             any.these ==1.2,
+             any.time ==1.12.2,
+             any.transformers ==0.6.1.0,
+             any.transformers-base ==0.4.6,
+             transformers-base +orphaninstances,
+             any.transformers-compat ==0.7.2,
+             transformers-compat -five +five-three -four +generic-deriving +mtl -three -two,
+             any.unix ==2.8.1.0,
+             any.unordered-containers ==0.2.19.1,
+             unordered-containers -debug,
+             any.utf8-string ==1.0.2,
+             any.vector ==0.13.0.0,
+             vector +boundschecks -internalchecks -unsafechecks -wall,
+             any.vector-stream ==0.1.0.0,
+             any.void ==0.7.3,
+             void -safe
+index-state: hackage.haskell.org 2023-06-09T13:53:50Z