GHC 9.10

[Andreas Abel]

Building with GHC 9.10 is currently blocked on:

• haskell-unordered-containers/hashable#292
  This is also a problem on head.hackage: https://gitlab.haskell.org/ghc/head.hackage/-/issues/100
• haskell-hvr/text-short#45

After dropping head.hackage, there is the second round of blockers:

• haskellari/these#195

Now the only remaining blocker is the release of cabal-3.12:

• haskell/cabal#9917

[Andreas Abel]

Agda buillds with GHC 9.10 now, only Cabal-3.12 is not used to set it up, but this issue can be considered fixed for now.