Support building with GHC 9.6 #3173

Job	Run time
config	10s
build-push-image	0s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)	3m 17s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)	3m 21s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)	55s
build (macos-12, 3.10.1.0, 9.2.7, true, false)	2m 43s
build (macos-12, 3.10.1.0, 9.4.4, true, false)	2m 42s
build (macos-12, 3.10.1.0, 9.6.3, true, false)	1m 40s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)	2m 56s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)	2m 46s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)	2m 47s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)	3m 16s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)	3m 11s
cabal-test	1s
mr-solver-tests	1s
saw-remote-api-tests	1s
heapster-tests	1s
Run integration tests with coverage reporting	1s
Test SAW exercises	1s
Test s2n proofs	1s
mergify	1s
	29m 52s

Provide feedback