Bump dependencies and support GHC 9.6

We still have to run the build script with GHC 9.4, since we need to override `dhall`, and can't override `source-repository-package` for scripts (haskell/cabal#8562, haskell/cabal#8024 (comment)).

Author: georgefst

Build.hs

@@ -8,7 +8,7 @@
 {- cabal:
 build-depends:
     base >= 4.16,
-    dhall ^>= 1.41,
+    dhall ^>= {1.41, 1.42},
     directory ^>= 1.3.7.0,
     extra ^>= 1.7.4,
     language-javascript ^>= 0.7.1.0,

cabal.project

@@ -10,3 +10,31 @@ source-repository-package
   type: git
   location: https://github.com/georgefst/haskell-to-elm
   tag: fbe8417ebac8d5936bc2f7ca5f39348f7e341b46
+
+--TODO waiting for release with https://github.com/folq/elm-syntax/pull/7
+source-repository-package
+  type: git
+  location: https://github.com/folq/elm-syntax
+  tag: 464cc76582e12ca33d31a3f023b2e3c65317330f
+
+--TODO waiting for release with https://github.com/dhall-lang/dhall-haskell/pull/2532
+source-repository-package
+  type: git
+  location: https://github.com/dhall-lang/dhall-haskell
+  subdir: dhall
+  tag: 55aff097b49ff85bb4eff1cc4f42c9fe40df3f49
+
+--TODO waiting for release - https://github.com/composewell/streamly/issues/2597
+source-repository-package
+  type: git
+  location: https://github.com/composewell/streamly
+  subdir: . core
+  tag: 8e04e4b9885d573bef9a3ccac0f891a35212aaf6
+
+allow-newer:
+  --TODO https://github.com/well-typed/cborg/pull/313#issuecomment-1649639449
+  cborg-json:base,
+  --TODO https://github.com/dhall-lang/dhall-haskell/pull/2532#issuecomment-1747799074
+  dhall:template-haskell,
+  --TODO only necessary because `streamly` hasn't had a revision and the Git version we use is marked 0.10 not 0.9
+  streamly-fsnotify:streamly,

haskell/linux/OS.hs

@@ -1,5 +1,6 @@
 module OS (conf, keyUnknown) where
 
+import Control.Monad
 import Control.Monad.Reader
 import Control.Monad.State
 import Data.Either

haskell/monpad.cabal

@@ -32,13 +32,13 @@ common common
     build-depends:
         georgefst-utils,
         base >= 4.16,
-        ansi-terminal ^>= 0.11.1,
+        ansi-terminal ^>= {0.11.1, 1.0},
         binary ^>= 0.8.9,
-        bytestring ^>= {0.10.8, 0.11},
+        bytestring ^>= {0.10.8, 0.11, 0.12},
         composition ^>= 1.0.2.1,
         concurrent-extra ^>= 0.7.0.12,
-        containers ^>= 0.6.2.1,
-        dhall ^>= 1.41,
+        containers ^>= {0.6.2.1, 0.7},
+        dhall ^>= 1.42,
         directory ^>= 1.3.3,
         either ^>= 5.0.1.1,
         extra ^>= 1.7.4,
@@ -52,9 +52,9 @@ common common
         pretty-simple ^>= 4.1,
         random ^>= 1.2.0,
         safe ^>= 0.3.19,
-        streamly ^>= {0.8, 0.9},
+        streamly ^>= {0.8, 0.9, 0.10},
         streams ^>= 3.3,
-        text ^>= {1.2.3, 1.3, 1.4, 1.5, 2.0},
+        text ^>= {1.2.3, 1.3, 1.4, 1.5, 2.0, 2.1},
         time ^>= {1.10, 1.11, 1.12, 1.13},
         transformers ^>= {0.5.6, 0.6},
         unordered-containers ^>= 0.2.10,
@@ -127,14 +127,14 @@ library
     if flag(release)
         build-depends: file-embed ^>= 0.0.11.2
     build-depends:
-        aeson ^>= {1.5, 2.0, 2.1},
+        aeson ^>= {1.5, 2.0, 2.1, 2.2},
         bifunctors ^>= {5.5.7, 5.6},
         colour ^>= 2.3.5,
         convertible ^>= 1.1.1,
         deriving-aeson ^>= 0.2.6.1,
         elm-syntax ^>= 0.3.0,
         exceptions ^>= 0.10.4,
-        fsnotify ^>= 0.3,
+        fsnotify ^>= {0.3, 0.4},
         generic-data ^>= {0.9.2, 1.1},
         generic-functor ^>= {0.2, 1.1},
         generics-sop ^>= 0.5.0,
@@ -175,11 +175,11 @@ executable monpad
     if os(linux)
         hs-source-dirs: linux
         other-modules: Orphans.Evdev
-        build-depends: evdev ^>= {2.1, 2.2}
+        build-depends: evdev ^>= {2.1, 2.2, 2.3}
     if os(darwin)
         hs-source-dirs: mac
     hs-source-dirs:
         app
     build-depends:
         monpad,
-        optparse-applicative ^>= {0.15.1.0, 0.16, 0.17},
+        optparse-applicative ^>= {0.15.1.0, 0.16, 0.17, 0.18},

haskell/src/Monpad.hs

@@ -39,6 +39,7 @@ module Monpad (
 import Control.Concurrent
 import Control.Concurrent.STM
 import Control.Exception
+import Control.Monad
 import Control.Monad.Base
 import Control.Monad.Catch (MonadThrow)
 import Control.Monad.Except

haskell/src/Monpad/Plugins/Logger.hs

@@ -1,5 +1,6 @@
 module Monpad.Plugins.Logger (plugin, Settings (..)) where
 
+import Control.Monad
 import Control.Monad.Reader
 import Data.Time
 import Optics