Make it build with ghc-9.8

[erikd]

Description

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated
• When applicable, versions are updated in .cabal and CHANGELOG.md files according to the
  versioning process.
• The version bounds in .cabal files for all affected packages are updated. If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md)
• All visible changes are prepended to the latest section of a CHANGELOG.md for the affected packages. New section is never added with the code changes. (See RELEASING.md)
• Code is formatted with fourmolu (use scripts/fourmolize.sh)
• Cabal files are formatted (use scripts/cabal-format.sh)
• hie.yaml has been updated (use scripts/gen-hie.sh)
• Self-reviewed the diff

[lehins]

As always, thank you for doing this compatibility work! We greatly appreciate it!

[erikd]

Didn't you take care of the head and tail functions in this PR, or there are still some left over uses of those?

@lehins I did not touch these functions because I thought I would leave it to the ledger maintainers to sort it out how they see fit.

[michaelpj]

Yeah, I doubt this needs to be merged soon, and in a week or so there will be a plutus release with some initial 9.8 support (still needing some allow-newers).

[erikd]

This PR no longer uses any SRPs other than cardano-ledger-executable-spec, so IMO is ready to be merged.

[lehins]

Some of the changes are unnecessary and there are bunch of version bumps missing. I know that dealing with compatibility is not the most exciting part of writing programs, so thank you for doing this work!

[lehins]

Beautiful. Thank you!