Dev reenable packages

[turion]

Checklist:

• Meaningful commit message, eg add my-cool-package (please don't mention build-constraints.yml)
• At least 30 minutes have passed since uploading to Hackage
• If applicable, required system libraries are added to 02-apt-get-install.sh or 03-custom-install.sh
• (optional) Package is compatible with the latest version of all dependencies (Run cabal update && cabal outdated)
• (optional) Package have been verified to work with the latest nightly snapshot, e.g by running the verify-package script

The script runs virtually the following commands in a clean directory:

  stack unpack $package-$version # `-$version` is optional
  cd $package-$version
  rm -f stack.yaml && stack init --resolver nightly --ignore-subdirs
  stack build --resolver nightly --haddock --test --bench --no-run-benchmarks

[turion]

This depends on a few version bumps and hackage updates, which I'll link here as an overview:

• Support ghc 9.8 mniip/finite-typelits#23
• GHC versions 9.6 and 9.8 turion/essence-of-live-coding#122
• Support GHC 9.8 tweag/monad-bayes#336
• Support GHC 9.8 turion/rhine#294

[turion]

There are several transitive dependencies of finite-typelits that are currently excluded. Should I aim at testing them & bringing them back as well?

[DanBurton]

@turion yes. Or you can just urge their maintainers to do so.

[juhp]

Perhaps we can close for now and you can (re)open when ready, thank you! :)