build

Remove SN GADT in favour of inlinable functions #917

Job	Run time
Run fourmolu	8s
Generate matrix from cabal	3s
Check and format all cabal files	6s
Nix Flake (ubuntu-latest)	10m 50s
Nix Flake (macos-latest)	10m 39s
Run hlint	12s
Haskell GHC 9.2 cabal	3m 43s
Haskell GHC 9.4 cabal	4m 11s
Haskell GHC 9.6 cabal	4m 20s
Haskell GHC 9.8 cabal	3m 20s
Haskell GHC 9.10 cabal	2m 43s
Nix Flake Develop (9.2, ubuntu-latest)	3m 4s
Nix Flake Develop (9.4, ubuntu-latest)	2m 43s
Nix Flake Develop (9.6, ubuntu-latest)	3m 7s
Nix Flake Develop (9.8, ubuntu-latest)	2m 41s
Nix Flake Develop (9.10, ubuntu-latest)	2m 44s
Successfully build and test on all systems	1s
	54m 35s

Provide feedback