diff --git a/.direnv/flake-inputs/2hc9lg18zd6yabw9jqj0wy3s9kyvkzp0-source b/.direnv/flake-inputs/2hc9lg18zd6yabw9jqj0wy3s9kyvkzp0-source
deleted file mode 120000
index 81f28c9..0000000
--- a/.direnv/flake-inputs/2hc9lg18zd6yabw9jqj0wy3s9kyvkzp0-source
+++ /dev/null
@@ -1 +0,0 @@
-/nix/store/2hc9lg18zd6yabw9jqj0wy3s9kyvkzp0-source
\ No newline at end of file
diff --git a/.direnv/flake-inputs/79qk1r0q5xc9g3qhw0m143x04q6d7x2m-source b/.direnv/flake-inputs/79qk1r0q5xc9g3qhw0m143x04q6d7x2m-source
deleted file mode 120000
index 68b60f3..0000000
--- a/.direnv/flake-inputs/79qk1r0q5xc9g3qhw0m143x04q6d7x2m-source
+++ /dev/null
@@ -1 +0,0 @@
-/nix/store/79qk1r0q5xc9g3qhw0m143x04q6d7x2m-source
\ No newline at end of file
diff --git a/.direnv/flake-inputs/bv68i4l7g6s5sixxm0c9lcjdxhlkg0n5-source b/.direnv/flake-inputs/bv68i4l7g6s5sixxm0c9lcjdxhlkg0n5-source
deleted file mode 120000
index a3f9c98..0000000
--- a/.direnv/flake-inputs/bv68i4l7g6s5sixxm0c9lcjdxhlkg0n5-source
+++ /dev/null
@@ -1 +0,0 @@
-/nix/store/bv68i4l7g6s5sixxm0c9lcjdxhlkg0n5-source
\ No newline at end of file
diff --git a/.direnv/flake-inputs/hmiyz975p0bfnzfcbamn6d0v1gfv15ds-source b/.direnv/flake-inputs/hmiyz975p0bfnzfcbamn6d0v1gfv15ds-source
deleted file mode 120000
index daaa1f1..0000000
--- a/.direnv/flake-inputs/hmiyz975p0bfnzfcbamn6d0v1gfv15ds-source
+++ /dev/null
@@ -1 +0,0 @@
-/nix/store/hmiyz975p0bfnzfcbamn6d0v1gfv15ds-source
\ No newline at end of file
diff --git a/.direnv/flake-inputs/lwyjz70qh12nq6cb7fixl85vryzxqm3c-source b/.direnv/flake-inputs/lwyjz70qh12nq6cb7fixl85vryzxqm3c-source
deleted file mode 120000
index 9066cfe..0000000
--- a/.direnv/flake-inputs/lwyjz70qh12nq6cb7fixl85vryzxqm3c-source
+++ /dev/null
@@ -1 +0,0 @@
-/nix/store/lwyjz70qh12nq6cb7fixl85vryzxqm3c-source
\ No newline at end of file
diff --git a/.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa b/.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa
index 25c9aca..d8b4176 120000
--- a/.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa
+++ b/.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa
@@ -1 +1 @@
-/nix/store/dl8p5s0m5prz82vbshy9n1k12yj1imsg-ghc-shell-for-Sudoku-0.1.0.0-0-env
\ No newline at end of file
+/nix/store/kjyxmjgg4yqk90hcvjdbj984af6jxjkv-ghc-shell-for-Sudoku-0.1.0.0-0-env
\ No newline at end of file
diff --git a/.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa.rc b/.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa.rc
index 72f3b9a..9f02832 100644
--- a/.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa.rc
+++ b/.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa.rc
@@ -7,15 +7,15 @@ AR='ar'
 export AR
 AS='as'
 export AS
-BASH='/nix/store/4vzal97iq3dmrgycj8r0gflrh51p8w1s-bash-5.2p26/bin/bash'
+BASH='/nix/store/agkxax48k35wdmkhmmija2i2sxg8i7ny-bash-5.2p26/bin/bash'
 CC='gcc'
 export CC
-CONFIG_SHELL='/nix/store/4vzal97iq3dmrgycj8r0gflrh51p8w1s-bash-5.2p26/bin/bash'
+CONFIG_SHELL='/nix/store/agkxax48k35wdmkhmmija2i2sxg8i7ny-bash-5.2p26/bin/bash'
 export CONFIG_SHELL
 CXX='g++'
 export CXX
 HOSTTYPE='x86_64'
-HOST_PATH='/nix/store/w6aci43k9bdvrkz9nwfx2dqw67h0llmq-ncurses-6.4/bin:/nix/store/mb488rr560vq1xnl10hinnyfflcrd51n-coreutils-9.4/bin:/nix/store/rr5pqqck5f6fjkv7agwjyhaljvh27ncn-findutils-4.9.0/bin:/nix/store/n6i46dn14q3iq82gqgb5qkl74aqhwr77-diffutils-3.10/bin:/nix/store/q7kq0naays5251ihghw0ccsz39id7kk5-gnused-4.9/bin:/nix/store/320v66ili0mwnyrxj3dwbxm0z8ndkbw7-gnugrep-3.11/bin:/nix/store/sgpv5hm93gzkcm4s536nmkpag3q5d22s-gawk-5.2.2/bin:/nix/store/zq7c5lha3pzixhs8vgy0c0k2sn9s6kq9-gnutar-1.35/bin:/nix/store/p27jyrx9ghhxbl5j82114fdy50lr33z3-gzip-1.13/bin:/nix/store/f7i053lqqbppa3nx3nbmk6y46wy06shj-bzip2-1.0.8-bin/bin:/nix/store/3wwka0sn2h96cmqxyclj2vba26a5sk1s-gnumake-4.4.1/bin:/nix/store/4vzal97iq3dmrgycj8r0gflrh51p8w1s-bash-5.2p26/bin:/nix/store/yb3vxdqkdx672wl4hg92xf1zhykjjppr-patch-2.7.6/bin:/nix/store/p6iz6wa3lqwzf5nbihpv52zpp1ji9243-xz-5.6.0-bin/bin:/nix/store/pqraddz55s3qlsjxs71zwjchj0c4csfw-file-5.45/bin'
+HOST_PATH='/nix/store/qi2525fzsnmgayxba5gxc2xi3x80g99x-ncurses-6.4.20221231/bin:/nix/store/i7qhgc0bs725qw3wdanznfkdna4z2ns2-coreutils-9.5/bin:/nix/store/rr1yixvn0z63mgq9s04ig9j9qlz23s2g-findutils-4.9.0/bin:/nix/store/j4gkc44c1pwl5ccgxm83s4r746bsdcw9-diffutils-3.10/bin:/nix/store/ks6c62g0m3gqrs5i7m0cv6d6aqhdvirn-gnused-4.9/bin:/nix/store/md9apn3290h7kv0x198ihaaa3k6icg4b-gnugrep-3.11/bin:/nix/store/hkx0wcm23i9ihqlysri8n41kl232kawb-gawk-5.2.2/bin:/nix/store/95ljdxg4drk1iq8jkjfq2c0z5vbwv8vm-gnutar-1.35/bin:/nix/store/nc9lq1lra01932rfyclq3gsh82cxbmii-gzip-1.13/bin:/nix/store/cyc3v8qfkhn4r38a8s5d7f2c33q624mz-bzip2-1.0.8-bin/bin:/nix/store/18z454gyz0wpb641rw6gpqk0vi4wbxy6-gnumake-4.4.1/bin:/nix/store/agkxax48k35wdmkhmmija2i2sxg8i7ny-bash-5.2p26/bin:/nix/store/r05c0lpbnjc8dg3rrr3ck7s07pjy86j3-patch-2.7.6/bin:/nix/store/qqhrymypl970jc6npvi9a6sikhr84mdf-xz-5.4.6-bin/bin:/nix/store/qcqmiq1mb3pkk2bxbj6d6gb2fk9knk8l-file-5.45/bin'
 export HOST_PATH
 IFS=' 	
 '
@@ -26,34 +26,34 @@ export LANG
 LD='ld'
 export LD
 LINENO='76'
-LOCALE_ARCHIVE='/nix/store/j1ba2w87aq4bcvv47mvrnss2ashfrzbk-glibc-locales-2.38-44/lib/locale/locale-archive'
+LOCALE_ARCHIVE='/nix/store/2qzm5lxha6wqkv2czifgmlni465ffkdl-glibc-locales-2.39-52/lib/locale/locale-archive'
 export LOCALE_ARCHIVE
 MACHTYPE='x86_64-pc-linux-gnu'
-NIX_BINTOOLS='/nix/store/7hhd9smnjspppk4k6n47bkw64fdbgbrz-binutils-wrapper-2.41'
+NIX_BINTOOLS='/nix/store/l46fjkzva0bhvy9p2r7p4vi68kr7a1db-binutils-wrapper-2.41'
 export NIX_BINTOOLS
 NIX_BINTOOLS_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu='1'
 export NIX_BINTOOLS_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu
 NIX_BUILD_CORES='24'
 export NIX_BUILD_CORES
-NIX_CC='/nix/store/qhpw32pz39y6i30b3vrbw5fw6zv5549f-gcc-wrapper-13.2.0'
+NIX_CC='/nix/store/mpm3i0sbqc9svfch6a17179fs64dz2kv-gcc-wrapper-13.3.0'
 export NIX_CC
 NIX_CC_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu='1'
 export NIX_CC_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu
-NIX_CFLAGS_COMPILE=' -frandom-seed=dl8p5s0m5p'
+NIX_CFLAGS_COMPILE=' -frandom-seed=kjyxmjgg4y'
 export NIX_CFLAGS_COMPILE
 NIX_ENFORCE_NO_NATIVE='1'
 export NIX_ENFORCE_NO_NATIVE
-NIX_GHC='/nix/store/rdf7lwl385fnrpbj0ai5wxa03k287cmv-ghc-9.6.4-with-packages/bin/ghc'
+NIX_GHC='/nix/store/blgxdbjs92jvghhw9wxa97j3ivw0mp95-ghc-9.8.1-with-packages/bin/ghc'
 export NIX_GHC
-NIX_GHCPKG='/nix/store/rdf7lwl385fnrpbj0ai5wxa03k287cmv-ghc-9.6.4-with-packages/bin/ghc-pkg'
+NIX_GHCPKG='/nix/store/blgxdbjs92jvghhw9wxa97j3ivw0mp95-ghc-9.8.1-with-packages/bin/ghc-pkg'
 export NIX_GHCPKG
-NIX_GHC_DOCDIR='/nix/store/rdf7lwl385fnrpbj0ai5wxa03k287cmv-ghc-9.6.4-with-packages/share/doc/ghc/html'
+NIX_GHC_DOCDIR='/nix/store/blgxdbjs92jvghhw9wxa97j3ivw0mp95-ghc-9.8.1-with-packages/share/doc/ghc/html'
 export NIX_GHC_DOCDIR
-NIX_GHC_LIBDIR='/nix/store/rdf7lwl385fnrpbj0ai5wxa03k287cmv-ghc-9.6.4-with-packages/lib/ghc-9.6.4/lib'
+NIX_GHC_LIBDIR='/nix/store/blgxdbjs92jvghhw9wxa97j3ivw0mp95-ghc-9.8.1-with-packages/lib/ghc-9.8.1/lib'
 export NIX_GHC_LIBDIR
 NIX_HARDENING_ENABLE='bindnow format fortify fortify3 pic relro stackprotector strictoverflow'
 export NIX_HARDENING_ENABLE
-NIX_LDFLAGS='-rpath /home/leonv/Git/Sudoku/outputs/out/lib  -L/nix/store/w6aci43k9bdvrkz9nwfx2dqw67h0llmq-ncurses-6.4/lib -L/nix/store/jx5kkzn0dhxa5y5k1fs9ymbvha15r911-libffi-3.4.6/lib -L/nix/store/3frbd0spychry5hg7jfajaiga271nwk1-elfutils-0.190/lib -L/nix/store/wx2ngazi4zyx1gi55kz3p9q8y6497fsk-gmp-with-cxx-6.3.0/lib -L/nix/store/w6aci43k9bdvrkz9nwfx2dqw67h0llmq-ncurses-6.4/lib -L/nix/store/jx5kkzn0dhxa5y5k1fs9ymbvha15r911-libffi-3.4.6/lib -L/nix/store/3frbd0spychry5hg7jfajaiga271nwk1-elfutils-0.190/lib -L/nix/store/wx2ngazi4zyx1gi55kz3p9q8y6497fsk-gmp-with-cxx-6.3.0/lib'
+NIX_LDFLAGS='-rpath /home/leonv/Git/Sudoku/outputs/out/lib  -L/nix/store/qi2525fzsnmgayxba5gxc2xi3x80g99x-ncurses-6.4.20221231/lib -L/nix/store/nj9g42fdsm8l2z43kfcahch3px2q209a-libffi-3.4.6/lib -L/nix/store/3bffbi88dmkpr5ib58wsngqd6bfdjzgj-elfutils-0.191/lib -L/nix/store/vgzmgmppvpb6gqlc56jhcn007cjn7xg9-gmp-with-cxx-6.3.0/lib -L/nix/store/qi2525fzsnmgayxba5gxc2xi3x80g99x-ncurses-6.4.20221231/lib -L/nix/store/nj9g42fdsm8l2z43kfcahch3px2q209a-libffi-3.4.6/lib -L/nix/store/3bffbi88dmkpr5ib58wsngqd6bfdjzgj-elfutils-0.191/lib -L/nix/store/vgzmgmppvpb6gqlc56jhcn007cjn7xg9-gmp-with-cxx-6.3.0/lib'
 export NIX_LDFLAGS
 NIX_NO_SELF_RPATH='1'
 NIX_STORE='/nix/store'
@@ -68,7 +68,7 @@ OLDPWD=''
 export OLDPWD
 OPTERR='1'
 OSTYPE='linux-gnu'
-PATH='/nix/store/rdf7lwl385fnrpbj0ai5wxa03k287cmv-ghc-9.6.4-with-packages/bin:/nix/store/h2lvdp72m409b1bx7z0mpky5ggbqc6fr-cabal-install-3.10.2.1/bin:/nix/store/pg7n63rqf543a32pvmzs786r2i3a165m-fourmolu-0.14.0.0/bin:/nix/store/0yf7l0mbsrxaq4f90pc6p3wyczyypdr9-haskell-language-server-2.6.0.0/bin:/nix/store/vlkq1rz62c6viiibmgv2hwz528x1vgar-aeson-pretty-0.8.10/bin:/nix/store/gjng6wrl7dsk8d98yjfiz9qb3g64h9f2-ghc-9.6.4/bin:/nix/store/xd6d454s04qim0mdjzmbdc2ij6lca9zy-ghcide-2.6.0.0/bin:/nix/store/gbw85k59bq0yaq5axv1d0imqwnv9wbia-constraints-extras-0.4.0.0/bin:/nix/store/sp79nlnwqx80ky99251qbrp23jf1rj22-hie-bios-0.13.1/bin:/nix/store/2xqav6hbzq2h4r9ijpd7ck6v3mzx0maq-hiedb-0.5.0.1/bin:/nix/store/yjvfnhg5h79shxklvv51mi4yci3zhjsk-lsp-types-2.1.1.0/bin:/nix/store/h072011f0700vanfhik1pykk17zv325j-implicit-hie-0.1.4.0/bin:/nix/store/si5c5sq4vap9nif6d3aw9mpzmfaryqxq-pretty-simple-4.1.2.0/bin:/nix/store/g69h4dp9vw2xm2bfphajsnf35paipm4b-floskell-0.11.1/bin:/nix/store/ympigb3qm1fin5r3rkhsl7lrjh5p7d18-retrie-1.2.3/bin:/nix/store/z51af1x72fdmdwkwli3bi51fa27xypyv-apply-refact-0.13.0.0/bin:/nix/store/328asb4q211rsqxd2lnf6q3r2hxjmc08-hlint-3.6.1/bin:/nix/store/l5v9nkgh2ynvnjak1gi3k0lya1r8zp43-cpphs-1.20.9.1/bin:/nix/store/jm5f7c00nvql0zd7b7442xhzrwhc3npz-hscolour-1.25/bin:/nix/store/9kckmzlysl6sm4dhsvnvmsfabxylsafs-ormolu-0.7.2.0-bin/bin:/nix/store/2gv837mkak8gvd766vck67mfj6lnss5k-stan-0.1.2.1/bin:/nix/store/iw8fn0x4fbxl2rdla915nf990krnszvp-extensions-0.1.0.1/bin:/nix/store/i2h3ibj2p8v597ic36x4hsf6dhw91d3x-stylish-haskell-0.14.5.0/bin:/nix/store/3125ahv429pk8sxnfhj5l3f2ph7jllrk-patchelf-0.15.0/bin:/nix/store/qhpw32pz39y6i30b3vrbw5fw6zv5549f-gcc-wrapper-13.2.0/bin:/nix/store/7vc88ixc6yca2hwgszjk51dh23j3g2nr-gcc-13.2.0/bin:/nix/store/m9b4wcy4yyn5xcy394h74x7klb28nm2c-glibc-2.38-44-bin/bin:/nix/store/mb488rr560vq1xnl10hinnyfflcrd51n-coreutils-9.4/bin:/nix/store/7hhd9smnjspppk4k6n47bkw64fdbgbrz-binutils-wrapper-2.41/bin:/nix/store/bczmlm8brs93gp4lscwvc1dnn2ipymnc-binutils-2.41/bin:/nix/store/w6aci43k9bdvrkz9nwfx2dqw67h0llmq-ncurses-6.4/bin:/nix/store/mb488rr560vq1xnl10hinnyfflcrd51n-coreutils-9.4/bin:/nix/store/rr5pqqck5f6fjkv7agwjyhaljvh27ncn-findutils-4.9.0/bin:/nix/store/n6i46dn14q3iq82gqgb5qkl74aqhwr77-diffutils-3.10/bin:/nix/store/q7kq0naays5251ihghw0ccsz39id7kk5-gnused-4.9/bin:/nix/store/320v66ili0mwnyrxj3dwbxm0z8ndkbw7-gnugrep-3.11/bin:/nix/store/sgpv5hm93gzkcm4s536nmkpag3q5d22s-gawk-5.2.2/bin:/nix/store/zq7c5lha3pzixhs8vgy0c0k2sn9s6kq9-gnutar-1.35/bin:/nix/store/p27jyrx9ghhxbl5j82114fdy50lr33z3-gzip-1.13/bin:/nix/store/f7i053lqqbppa3nx3nbmk6y46wy06shj-bzip2-1.0.8-bin/bin:/nix/store/3wwka0sn2h96cmqxyclj2vba26a5sk1s-gnumake-4.4.1/bin:/nix/store/4vzal97iq3dmrgycj8r0gflrh51p8w1s-bash-5.2p26/bin:/nix/store/yb3vxdqkdx672wl4hg92xf1zhykjjppr-patch-2.7.6/bin:/nix/store/p6iz6wa3lqwzf5nbihpv52zpp1ji9243-xz-5.6.0-bin/bin:/nix/store/pqraddz55s3qlsjxs71zwjchj0c4csfw-file-5.45/bin'
+PATH='/nix/store/blgxdbjs92jvghhw9wxa97j3ivw0mp95-ghc-9.8.1-with-packages/bin:/nix/store/7iyhw1sccmxfj6rsgsi6hi9jn9ilr0vd-cabal-install-3.10.3.0/bin:/nix/store/rj64gmg7szlvwcm84kkpswhvj6sczx8p-fourmolu-0.15.0.0/bin:/nix/store/nj4i1d27m8hcjwlfj5sgbkbvv5h9889d-ghcid-0.8.9-bin/bin:/nix/store/dcls08l2gckim7zhm3793p17wcrh6lg0-haskell-language-server-2.8.0.0/bin:/nix/store/x184a6bzdsbnpwmilnqx92da06yspp78-aeson-pretty-0.8.10/bin:/nix/store/1la1b3bz62jrl9sls3ch07immm5hyzsw-apply-refact-0.14.0.0/bin:/nix/store/8vrfylcrq2l8xjqlnpqnqbrs165srlyj-ghc-9.8.1/bin:/nix/store/5zhcm7fi2c076mn5adkrfy16ywxhkbih-floskell-0.11.1/bin:/nix/store/22i0yw9kbgcpmkzrcqcs0zivv9iphq3c-ghcide-2.8.0.0/bin:/nix/store/61zyqxrdrfls2rqzhfwf65n4k31knb63-constraints-extras-0.4.0.0/bin:/nix/store/6a5az6nspm8qkv1f1871d3z81xrk8fjx-hie-bios-0.14.0/bin:/nix/store/xfqzjkbxfaksjah0iwhq6skpdvccrmm4-hiedb-0.6.0.0/bin:/nix/store/zbsr8327vfnxy48v26cfkfczg895qqdm-lsp-types-2.1.1.0/bin:/nix/store/dkj6c23xxj6a33n1w9ng1iyg5dc2v3iw-implicit-hie-0.1.4.0/bin:/nix/store/wqbjmav8m293dj9g451fmha59kq6y1xi-hlint-3.8/bin:/nix/store/8cjkrq6ccwzd3vgrasrqznxf5x2fbxpy-cpphs-1.20.9.1/bin:/nix/store/zj4m36y83x4lj032m0qwc31szlk8z3i6-hscolour-1.25/bin:/nix/store/77ashdq759k0fsg1n60wp9kfq02wk2hr-ormolu-0.7.4.0/bin:/nix/store/ni8cdqbx317mdapiv5h5i3b76g6kvnhk-retrie-1.2.3/bin:/nix/store/45gwwamqfvqzsdsi52nzrg5pfi8g4m6f-stan-0.1.2.1/bin:/nix/store/r33xmgp5d698z1wrz9s91p9hwqqhm41f-extensions-0.1.0.1/bin:/nix/store/0g0zplzhglb6qmid7jfp3l5jw3k527d5-pretty-simple-4.1.2.0/bin:/nix/store/ac8wlihq7lg9pc06093fbw23zg8sf2y2-stylish-haskell-0.14.6.0/bin:/nix/store/pdqndw2kgjv8l3kd5ii0c833jqmxdanq-patchelf-0.15.0/bin:/nix/store/mpm3i0sbqc9svfch6a17179fs64dz2kv-gcc-wrapper-13.3.0/bin:/nix/store/zc0nsv23pakbafngjy32kvhfzb16as43-gcc-13.3.0/bin:/nix/store/082x03cmpnsqkfp4ljrhsadz68rh3q1h-glibc-2.39-52-bin/bin:/nix/store/i7qhgc0bs725qw3wdanznfkdna4z2ns2-coreutils-9.5/bin:/nix/store/l46fjkzva0bhvy9p2r7p4vi68kr7a1db-binutils-wrapper-2.41/bin:/nix/store/wwfrj9kvfi14xclc38qfwm71ah6aawdh-binutils-2.41/bin:/nix/store/qi2525fzsnmgayxba5gxc2xi3x80g99x-ncurses-6.4.20221231/bin:/nix/store/i7qhgc0bs725qw3wdanznfkdna4z2ns2-coreutils-9.5/bin:/nix/store/rr1yixvn0z63mgq9s04ig9j9qlz23s2g-findutils-4.9.0/bin:/nix/store/j4gkc44c1pwl5ccgxm83s4r746bsdcw9-diffutils-3.10/bin:/nix/store/ks6c62g0m3gqrs5i7m0cv6d6aqhdvirn-gnused-4.9/bin:/nix/store/md9apn3290h7kv0x198ihaaa3k6icg4b-gnugrep-3.11/bin:/nix/store/hkx0wcm23i9ihqlysri8n41kl232kawb-gawk-5.2.2/bin:/nix/store/95ljdxg4drk1iq8jkjfq2c0z5vbwv8vm-gnutar-1.35/bin:/nix/store/nc9lq1lra01932rfyclq3gsh82cxbmii-gzip-1.13/bin:/nix/store/cyc3v8qfkhn4r38a8s5d7f2c33q624mz-bzip2-1.0.8-bin/bin:/nix/store/18z454gyz0wpb641rw6gpqk0vi4wbxy6-gnumake-4.4.1/bin:/nix/store/agkxax48k35wdmkhmmija2i2sxg8i7ny-bash-5.2p26/bin:/nix/store/r05c0lpbnjc8dg3rrr3ck7s07pjy86j3-patch-2.7.6/bin:/nix/store/qqhrymypl970jc6npvi9a6sikhr84mdf-xz-5.4.6-bin/bin:/nix/store/qcqmiq1mb3pkk2bxbj6d6gb2fk9knk8l-file-5.45/bin'
 export PATH
 PS4='+ '
 RANLIB='ranlib'
@@ -83,21 +83,21 @@ STRINGS='strings'
 export STRINGS
 STRIP='strip'
 export STRIP
-XDG_DATA_DIRS='/nix/store/rdf7lwl385fnrpbj0ai5wxa03k287cmv-ghc-9.6.4-with-packages/share:/nix/store/h2lvdp72m409b1bx7z0mpky5ggbqc6fr-cabal-install-3.10.2.1/share:/nix/store/q73kyn5r8h4vwn8p77zczv0n1184h9hm-attoparsec-0.14.4/share:/nix/store/nn677j99jk0r0lflyb44a23ij7pdr8xx-attoparsec-aeson-2.1.0.0/share:/nix/store/gjng6wrl7dsk8d98yjfiz9qb3g64h9f2-ghc-9.6.4/share:/nix/store/yjvfnhg5h79shxklvv51mi4yci3zhjsk-lsp-types-2.1.1.0/share:/nix/store/dzclfyllkxrbcmymgs1cincykk1h10z8-fail-4.9.0.0/share:/nix/store/328asb4q211rsqxd2lnf6q3r2hxjmc08-hlint-3.6.1/share:/nix/store/9kckmzlysl6sm4dhsvnvmsfabxylsafs-ormolu-0.7.2.0-bin/share:/nix/store/2gv837mkak8gvd766vck67mfj6lnss5k-stan-0.1.2.1/share:/nix/store/3125ahv429pk8sxnfhj5l3f2ph7jllrk-patchelf-0.15.0/share'
+XDG_DATA_DIRS='/nix/store/blgxdbjs92jvghhw9wxa97j3ivw0mp95-ghc-9.8.1-with-packages/share:/nix/store/7iyhw1sccmxfj6rsgsi6hi9jn9ilr0vd-cabal-install-3.10.3.0/share:/nix/store/4f9wc1n45wvlilrrjj4y357qk84bxxsc-attoparsec-0.14.4/share:/nix/store/anzgh7ki7wxdy2xm27s7iaamsdvgffyi-libyaml-clib-0.2.5/share:/nix/store/dcls08l2gckim7zhm3793p17wcrh6lg0-haskell-language-server-2.8.0.0/share:/nix/store/8vrfylcrq2l8xjqlnpqnqbrs165srlyj-ghc-9.8.1/share:/nix/store/22i0yw9kbgcpmkzrcqcs0zivv9iphq3c-ghcide-2.8.0.0/share:/nix/store/zbsr8327vfnxy48v26cfkfczg895qqdm-lsp-types-2.1.1.0/share:/nix/store/45gwwamqfvqzsdsi52nzrg5pfi8g4m6f-stan-0.1.2.1/share:/nix/store/isj45xq4sh916iswb4drziysq9ayljay-fail-4.9.0.0/share:/nix/store/pdqndw2kgjv8l3kd5ii0c833jqmxdanq-patchelf-0.15.0/share'
 export XDG_DATA_DIRS
 __structuredAttrs=''
 export __structuredAttrs
 _substituteStream_has_warned_replace_deprecation='false'
 buildInputs=''
 export buildInputs
-builder='/nix/store/4vzal97iq3dmrgycj8r0gflrh51p8w1s-bash-5.2p26/bin/bash'
+builder='/nix/store/agkxax48k35wdmkhmmija2i2sxg8i7ny-bash-5.2p26/bin/bash'
 export builder
 cmakeFlags=''
 export cmakeFlags
 configureFlags=''
 export configureFlags
 defaultBuildInputs=''
-defaultNativeBuildInputs='/nix/store/3125ahv429pk8sxnfhj5l3f2ph7jllrk-patchelf-0.15.0 /nix/store/zfgzsn57hhv547x3qmxgpf9y8a320mjr-update-autotools-gnu-config-scripts-hook /nix/store/h9lc1dpi14z7is86ffhl3ld569138595-audit-tmpdir.sh /nix/store/m54bmrhj6fqz8nds5zcj97w9s9bckc9v-compress-man-pages.sh /nix/store/wgrbkkaldkrlrni33ccvm3b6vbxzb656-make-symlinks-relative.sh /nix/store/5yzw0vhkyszf2d179m0qfkgxmp5wjjx4-move-docs.sh /nix/store/fyaryjvghbkpfnsyw97hb3lyb37s1pd6-move-lib64.sh /nix/store/kd4xwxjpjxi71jkm6ka0np72if9rm3y0-move-sbin.sh /nix/store/pag6l61paj1dc9sv15l7bm5c17xn5kyk-move-systemd-user-units.sh /nix/store/jivxp510zxakaaic7qkrb7v1dd2rdbw9-multiple-outputs.sh /nix/store/ilaf1w22bxi6jsi45alhmvvdgy4ly3zs-patch-shebangs.sh /nix/store/cickvswrvann041nqxb0rxilc46svw1n-prune-libtool-files.sh /nix/store/xyff06pkhki3qy1ls77w10s0v79c9il0-reproducible-builds.sh /nix/store/ngg1cv31c8c7bcm2n8ww4g06nq7s4zhm-set-source-date-epoch-to-latest.sh /nix/store/wmknncrif06fqxa16hpdldhixk95nds0-strip.sh /nix/store/qhpw32pz39y6i30b3vrbw5fw6zv5549f-gcc-wrapper-13.2.0'
+defaultNativeBuildInputs='/nix/store/pdqndw2kgjv8l3kd5ii0c833jqmxdanq-patchelf-0.15.0 /nix/store/zls41s2455b6pw5d35sslf6v3gvz9349-update-autotools-gnu-config-scripts-hook /nix/store/h9lc1dpi14z7is86ffhl3ld569138595-audit-tmpdir.sh /nix/store/m54bmrhj6fqz8nds5zcj97w9s9bckc9v-compress-man-pages.sh /nix/store/wgrbkkaldkrlrni33ccvm3b6vbxzb656-make-symlinks-relative.sh /nix/store/5yzw0vhkyszf2d179m0qfkgxmp5wjjx4-move-docs.sh /nix/store/fyaryjvghbkpfnsyw97hb3lyb37s1pd6-move-lib64.sh /nix/store/kd4xwxjpjxi71jkm6ka0np72if9rm3y0-move-sbin.sh /nix/store/pag6l61paj1dc9sv15l7bm5c17xn5kyk-move-systemd-user-units.sh /nix/store/jivxp510zxakaaic7qkrb7v1dd2rdbw9-multiple-outputs.sh /nix/store/ilaf1w22bxi6jsi45alhmvvdgy4ly3zs-patch-shebangs.sh /nix/store/cickvswrvann041nqxb0rxilc46svw1n-prune-libtool-files.sh /nix/store/xyff06pkhki3qy1ls77w10s0v79c9il0-reproducible-builds.sh /nix/store/ngg1cv31c8c7bcm2n8ww4g06nq7s4zhm-set-source-date-epoch-to-latest.sh /nix/store/gps9qrh99j7g02840wv5x78ykmz30byp-strip.sh /nix/store/mpm3i0sbqc9svfch6a17179fs64dz2kv-gcc-wrapper-13.3.0'
 depsBuildBuild=''
 export depsBuildBuild
 depsBuildBuildPropagated=''
@@ -128,14 +128,14 @@ declare -a envHostTargetHooks=('ccWrapper_addCVars' 'bintoolsWrapper_addLDVars'
 declare -a envTargetTargetHooks=()
 declare -a fixupOutputHooks=('if [ -z "${dontPatchELF-}" ]; then patchELF "$prefix"; fi' 'if [[ -z "${noAuditTmpdir-}" && -e "$prefix" ]]; then auditTmpdir "$prefix"; fi' 'if [ -z "${dontGzipMan-}" ]; then compressManPages "$prefix"; fi' '_moveLib64' '_moveSbin' '_moveSystemdUserUnits' 'patchShebangsAuto' '_pruneLibtoolFiles' '_doStrip' )
 guess='24'
-initialPath='/nix/store/mb488rr560vq1xnl10hinnyfflcrd51n-coreutils-9.4 /nix/store/rr5pqqck5f6fjkv7agwjyhaljvh27ncn-findutils-4.9.0 /nix/store/n6i46dn14q3iq82gqgb5qkl74aqhwr77-diffutils-3.10 /nix/store/q7kq0naays5251ihghw0ccsz39id7kk5-gnused-4.9 /nix/store/320v66ili0mwnyrxj3dwbxm0z8ndkbw7-gnugrep-3.11 /nix/store/sgpv5hm93gzkcm4s536nmkpag3q5d22s-gawk-5.2.2 /nix/store/zq7c5lha3pzixhs8vgy0c0k2sn9s6kq9-gnutar-1.35 /nix/store/p27jyrx9ghhxbl5j82114fdy50lr33z3-gzip-1.13 /nix/store/f7i053lqqbppa3nx3nbmk6y46wy06shj-bzip2-1.0.8-bin /nix/store/3wwka0sn2h96cmqxyclj2vba26a5sk1s-gnumake-4.4.1 /nix/store/4vzal97iq3dmrgycj8r0gflrh51p8w1s-bash-5.2p26 /nix/store/yb3vxdqkdx672wl4hg92xf1zhykjjppr-patch-2.7.6 /nix/store/p6iz6wa3lqwzf5nbihpv52zpp1ji9243-xz-5.6.0-bin /nix/store/pqraddz55s3qlsjxs71zwjchj0c4csfw-file-5.45'
+initialPath='/nix/store/i7qhgc0bs725qw3wdanznfkdna4z2ns2-coreutils-9.5 /nix/store/rr1yixvn0z63mgq9s04ig9j9qlz23s2g-findutils-4.9.0 /nix/store/j4gkc44c1pwl5ccgxm83s4r746bsdcw9-diffutils-3.10 /nix/store/ks6c62g0m3gqrs5i7m0cv6d6aqhdvirn-gnused-4.9 /nix/store/md9apn3290h7kv0x198ihaaa3k6icg4b-gnugrep-3.11 /nix/store/hkx0wcm23i9ihqlysri8n41kl232kawb-gawk-5.2.2 /nix/store/95ljdxg4drk1iq8jkjfq2c0z5vbwv8vm-gnutar-1.35 /nix/store/nc9lq1lra01932rfyclq3gsh82cxbmii-gzip-1.13 /nix/store/cyc3v8qfkhn4r38a8s5d7f2c33q624mz-bzip2-1.0.8-bin /nix/store/18z454gyz0wpb641rw6gpqk0vi4wbxy6-gnumake-4.4.1 /nix/store/agkxax48k35wdmkhmmija2i2sxg8i7ny-bash-5.2p26 /nix/store/r05c0lpbnjc8dg3rrr3ck7s07pjy86j3-patch-2.7.6 /nix/store/qqhrymypl970jc6npvi9a6sikhr84mdf-xz-5.4.6-bin /nix/store/qcqmiq1mb3pkk2bxbj6d6gb2fk9knk8l-file-5.45'
 installPhase='echo $nativeBuildInputs $buildInputs > $out'
 export installPhase
 mesonFlags=''
 export mesonFlags
 name='ghc-shell-for-Sudoku-0.1.0.0-0-env'
 export name
-nativeBuildInputs='/nix/store/rdf7lwl385fnrpbj0ai5wxa03k287cmv-ghc-9.6.4-with-packages /nix/store/h2lvdp72m409b1bx7z0mpky5ggbqc6fr-cabal-install-3.10.2.1 /nix/store/pg7n63rqf543a32pvmzs786r2i3a165m-fourmolu-0.14.0.0  /nix/store/0yf7l0mbsrxaq4f90pc6p3wyczyypdr9-haskell-language-server-2.6.0.0 /nix/store/328asb4q211rsqxd2lnf6q3r2hxjmc08-hlint-3.6.1'
+nativeBuildInputs='/nix/store/blgxdbjs92jvghhw9wxa97j3ivw0mp95-ghc-9.8.1-with-packages /nix/store/7iyhw1sccmxfj6rsgsi6hi9jn9ilr0vd-cabal-install-3.10.3.0 /nix/store/rj64gmg7szlvwcm84kkpswhvj6sczx8p-fourmolu-0.15.0.0 /nix/store/cwx7727abcg47b570glfgcylw5b1qksc-ghcid-0.8.9 /nix/store/dcls08l2gckim7zhm3793p17wcrh6lg0-haskell-language-server-2.8.0.0 /nix/store/wqbjmav8m293dj9g451fmha59kq6y1xi-hlint-3.8'
 export nativeBuildInputs
 out='/home/leonv/Git/Sudoku/outputs/out'
 export out
@@ -154,11 +154,11 @@ patches=''
 export patches
 phases='installPhase'
 export phases
-pkg='/nix/store/qhpw32pz39y6i30b3vrbw5fw6zv5549f-gcc-wrapper-13.2.0'
+pkg='/nix/store/mpm3i0sbqc9svfch6a17179fs64dz2kv-gcc-wrapper-13.3.0'
 declare -a pkgsBuildBuild=()
-declare -a pkgsBuildHost=('/nix/store/rdf7lwl385fnrpbj0ai5wxa03k287cmv-ghc-9.6.4-with-packages' '/nix/store/p3ls7khlnssf9ixxk5r020fdz0lg5r9g-primitive-0.8.0.0' '/nix/store/rv7yk6wjzwn4daqlr0zdj5yl8yszdknw-vector-stream-0.1.0.1' '/nix/store/h2lvdp72m409b1bx7z0mpky5ggbqc6fr-cabal-install-3.10.2.1' '/nix/store/2zpksr0sqa6s6y6mhd3znng9k4i5ppd6-async-2.2.5' '/nix/store/pj37wz9hj8zx57s0c69d1zys0fw3inrj-hashable-1.4.3.0' '/nix/store/sqagr790qyyy4jsv2m891yfh6d9lblfq-base16-bytestring-1.0.2.0' '/nix/store/83vlll0si6s916r6a8svxdidlikj5mgp-base64-bytestring-1.2.1.0' '/nix/store/89xlsvzpp6kf9qgxylad612rzb6hcl32-cabal-install-solver-3.10.2.1' '/nix/store/pnf50av730d4cckh4hlkb94r547gq6bl-edit-distance-0.2.2.1' '/nix/store/9w448nyhladkwnlsfil0daiknnqwb3ni-random-1.2.1.1' '/nix/store/s2h14csjsz7l1zdv5xgflgn09j40vn3l-splitmix-0.1.0.5' '/nix/store/c70izcx9cvw5xpq8bgfsjk0lhi9akjxy-cryptohash-sha256-0.11.102.1' '/nix/store/k4lmaaq4mx4zf5gdagq8vxsnlq8glsgr-echo-0.1.4' '/nix/store/pa0a8hgwdccrjlrglpiacp05xa7kmmk6-hackage-security-0.6.2.4' '/nix/store/z4x32ms0nniz8wjnqzkqakfsih2zd1xy-ed25519-0.0.5.0' '/nix/store/czqbj3aa6xfdv1j89hzjfj3s3sm4nfx4-lukko-0.1.1.3' '/nix/store/z9qwdz55cq6dy4b9amzdg1kzf5szid89-network-3.1.4.0' '/nix/store/m8cx2lr0kr21rjicvjmmjyx3g0385z8q-network-uri-2.6.4.2' '/nix/store/5hzcfsf3szg3pbr4w86fgli6nff0040i-th-compat-0.1.4' '/nix/store/whm3afwcc5j99f7911b7a22bcx20y23g-tar-0.5.1.1' '/nix/store/lb055amjd1jgrvmmci3dmv1ia018idyi-zlib-0.6.3.0' '/nix/store/khdnp6xjlgbxgxapi64g0571wmbj91b6-HTTP-4000.4.1' '/nix/store/fdn54l6fs0hixdg09kgw4dakax34chp7-regex-base-0.94.0.2' '/nix/store/mfxfmfbhk0b9qdxrhgmpg3jbngja7p3f-regex-posix-0.96.0.1' '/nix/store/18rckk37v1033g8qw2srx9kzyh4wkvsb-resolv-0.1.2.0' '/nix/store/vvfhd14brh2ks8mbnws2shj1g5d3gr82-safe-exceptions-0.1.7.4' '/nix/store/pg7n63rqf543a32pvmzs786r2i3a165m-fourmolu-0.14.0.0' '/nix/store/0w460938xrvlsfgzfdw9l7jmmss4hdba-aeson-2.1.2.1' '/nix/store/q73kyn5r8h4vwn8p77zczv0n1184h9hm-attoparsec-0.14.4' '/nix/store/8ibw3r2fddrrwqg64mxa38178d3kvfix-scientific-0.3.7.0' '/nix/store/54138ljkkyimxa82hqnv566bynzr659c-integer-logarithms-1.0.3.1' '/nix/store/hy47fdds8k4lb13fg5xrpghiarxh1xv4-base-compat-batteries-0.13.1' '/nix/store/ri4p377dc8v25cigf4z61mg6v191rbfz-base-compat-0.13.1' '/nix/store/sjnvpklf3g0n2fak968dslmgy5ag9an2-data-fix-0.3.2' '/nix/store/h9f9fsydakmi4hs9ncqrsfq6js7dfrwk-dlist-1.0' '/nix/store/gxs6p9dcb4731dgsr09ac5cjk7zj14a4-generically-0.1.1' '/nix/store/hhxbiv0hbp4jvz13klv0bn8hfhjgyrdx-indexed-traversable-0.1.3' '/nix/store/l4lqgzgx54nnj9ylj580s0z0cbcxdxbd-OneTuple-0.4.1.1' '/nix/store/692d804rjh705hnyj9rkci304qbjxi5j-QuickCheck-2.14.3' '/nix/store/4vka0kp0fq4fj3vzv6hxnqa56fmklkhk-semialign-1.3' '/nix/store/l254da3flfqnhypicb5p5ms669nm9i8w-indexed-traversable-instances-0.1.1.2' '/nix/store/0ids5p20b7rwfsp44bv70wjgd3jf62w9-tagged-0.8.8' '/nix/store/cpzl8fnac8cg2jqrwb652zkxl27891wz-unordered-containers-0.2.20' '/nix/store/vrl3y3252njhnx5j5yp74m9m7jyfp8dh-vector-0.13.1.0' '/nix/store/6drk1qsfflqlj413jjs7l9sdnxa5yrdn-semigroupoids-6.0.0.1' '/nix/store/ddk0f30869i47kgvl0fwfv8xp8hwzgdk-base-orphans-0.9.1' '/nix/store/pbkp6hzblkfgvy6mbyb6zmsn5yyhlkky-bifunctors-5.6.1' '/nix/store/kkilymsdq64jcgi4p4liv79qn25iizkl-assoc-1.1' '/nix/store/mcd38xsgshv6748i8sl2scjg8s7xyris-comonad-5.0.8' '/nix/store/almbz4glljfj59da2w5jiy3rcryxi6xl-distributive-0.6.2.1' '/nix/store/bq3ipszy7cp7a57ishfwkf890r7xgkcj-transformers-compat-0.7.2' '/nix/store/cv5wm33azqjfs7hk5xzng336d3yxgbkw-th-abstraction-0.5.0.0' '/nix/store/xs0d5x31wk8wfsrf27myj6y0kixj19gq-contravariant-1.5.5' '/nix/store/1yir44f6ds7b28hdfaqsvmz68pz484yg-StateVar-1.2.2' '/nix/store/fadpyq0p6d1hmf4vw60qdnkja4biqlpw-these-1.2' '/nix/store/n5q2mcw2zbsxd9jbk5hhcm1varqkqc8b-strict-0.5' '/nix/store/4nw0qn6yaqjal8qrdrz839z8xk1k50hi-text-short-0.1.5' '/nix/store/kpwb9m765svdqbi2ddmn97laj0jx4kvb-time-compat-1.9.6.1' '/nix/store/d8ikcjzcj8cphvpbarcqpf8w2ip80sdk-uuid-types-1.0.5.1' '/nix/store/gi3x1qg573xl6qal2fwhajab7mqa2dg5-witherable-0.4.2' '/nix/store/0yh9rvqa7mgsziwlsvhqrd1lfa932f84-ansi-terminal-1.0.2' '/nix/store/4hiv9hfbprj9k3qbrv3pvndygp8wji32-ansi-terminal-types-0.11.5' '/nix/store/10f2k5ziv3x1zl72smpxli7bxxmz1x77-colour-2.3.6' '/nix/store/10f2k5ziv3x1zl72smpxli7bxxmz1x77-colour-2.3.6' '/nix/store/cdd5qb5iv25ayzr74armpg1k7902j7b7-Diff-0.4.1' '/nix/store/qznqy4012777iqbh7wsmcyc1v3rf9x0i-file-embed-0.0.16.0' '/nix/store/cicvyw7969p5bpl89kj7vy7vc1kp5bv4-ghc-lib-parser-9.6.4.20240109' '/nix/store/3f8mhifg02814w6nkwhkvn5gygmris0a-megaparsec-9.5.0' '/nix/store/5bdkd2rv3ajnp6n3x2iw9c8i5zvw9rnh-case-insensitive-1.2.1.0' '/nix/store/4p2m614chg0zpydckk385y2mnbvnqql6-parser-combinators-1.3.0' '/nix/store/7sgawik6m159mbzj70sqhjdw7xn79pb6-MemoTrie-0.6.11' '/nix/store/jxbclcwp3xb65fg0x0h8sxn0swc11dky-newtype-generics-0.6.2' '/nix/store/cxwivqkn5wglsl0k92wnv9290k4knh0d-syb-0.7.2.4' '/nix/store/9qapm2pn51y638ccmga074x0vvjs1gyg-yaml-0.11.11.2' '/nix/store/jdj37ycnb94wzg1c6iz3qd7mnh7fzxr9-conduit-1.3.5' '/nix/store/sv4zslfnp2miy9jg0qx5ls6aqfvdg79s-mono-traversable-1.0.15.3' '/nix/store/zq6fn9p8xa3bqprxif253smhrbqd34n4-split-0.2.5' '/nix/store/8jwzja679d2wfgaqlmjxklhl7mk8mh28-vector-algorithms-0.9.0.1' '/nix/store/xmi7n8xhcmg2sfz9pqm2jg1mp2fh0r74-bitvec-1.1.5.0' '/nix/store/gm7s2pjbiljq5ki2fl9wk72c9r76h7wy-resourcet-1.3.0' '/nix/store/iqb6llxb5kg2y7d94ihyi733ajfbnbr2-unliftio-core-0.2.1.0' '/nix/store/iqb6llxb5kg2y7d94ihyi733ajfbnbr2-unliftio-core-0.2.1.0' '/nix/store/cs7wyrpdbvqh0grj27j10g12x7bdvr2s-libyaml-0.1.2' '/nix/store/nks0b8i98hd2zxdj8z4hm72fwr2fl9bw-optparse-applicative-0.18.1.0' '/nix/store/xmj5q8h7lfif3k34vilkzkp7n9la9rs1-prettyprinter-1.7.1' '/nix/store/27p4kxhr3cmpldb4v24i4zw2q9v2d9xz-prettyprinter-ansi-terminal-1.1.3' '/nix/store/wj42xiq2pijr0jvxqgpx9ar3ki00lvyx-th-env-0.1.1' '/nix/store/0yf7l0mbsrxaq4f90pc6p3wyczyypdr9-haskell-language-server-2.6.0.0' '/nix/store/vlkq1rz62c6viiibmgv2hwz528x1vgar-aeson-pretty-0.8.10' '/nix/store/nn677j99jk0r0lflyb44a23ij7pdr8xx-attoparsec-aeson-2.1.0.0' '/nix/store/9b3hvfgyd9hazpmvmf7lg13000f80n53-cmdargs-0.10.22' '/nix/store/5ckzyadnmfannr13c1bg5wakzc091h5s-cryptohash-sha1-0.11.101.0' '/nix/store/w1bmk8rb9psl5r7klp8230z4m6fh77rv-data-default-0.7.1.1' '/nix/store/x9vx9mapj6rpyixy4cs97z6y922rbg3n-data-default-class-0.1.2.0' '/nix/store/x94c65zmw0jnrpxj99hw40shbx3q4p08-data-default-instances-containers-0.0.1' '/nix/store/i29zbjzwkmcsairzhjr8axj0jvxc122x-data-default-instances-dlist-0.0.1' '/nix/store/7mq4czjr4hxnwnfa4lbcgg0az66724xm-data-default-instances-old-locale-0.0.1' '/nix/store/q4w9x3qsnaywny8r9j6xjv8vjis1fc34-old-locale-1.0.0.7' '/nix/store/zs4j5b5m0ci24kznx9yyc8b3rcmr5bx3-extra-1.7.14' '/nix/store/9k7ngwxa55ff899fvlc0mvclp92pm271-clock-0.8.4' '/nix/store/gjng6wrl7dsk8d98yjfiz9qb3g64h9f2-ghc-9.6.4' '/nix/store/xd6d454s04qim0mdjzmbdc2ij6lca9zy-ghcide-2.6.0.0' '/nix/store/3qly4a0vlmynj39zvajaprxikmmz7hpx-co-log-core-0.3.2.1' '/nix/store/wp1vkn5iv5samgdbyqwhqphv7a97i1z5-dependent-map-0.4.0.0' '/nix/store/gbw85k59bq0yaq5axv1d0imqwnv9wbia-constraints-extras-0.4.0.0' '/nix/store/7vqbfnrs6bnf8ggk4hsr93ghmx50kzxw-constraints-0.14' '/nix/store/v7ah9drnq2kpy42jslhnal45mv84545q-boring-0.2.1' '/nix/store/dblx254mmzisa0wldgn3cfj7lsim7yan-type-equality-1' '/nix/store/xsk80rdzlq1lc8l3j9r08w9897m6ak8i-dependent-sum-0.7.2.0' '/nix/store/a8kwhszz9x4xcjk6r8pmsgwf6rxqjjs2-some-1.0.6' '/nix/store/978mr79qggzqqpibm8jv9w048i0vngpy-enummapset-0.7.2.0' '/nix/store/sgsjbasyrl3lv2gda1mdb6x1ghqpqx7m-fingertree-0.1.5.0' '/nix/store/pn4s28x91ib2jsni4lcnmgwsacal32a0-focus-1.0.3.2' '/nix/store/6q73mqjb096jbzz0vn98l5xvh2d7pd15-ghc-check-0.5.0.8' '/nix/store/6wdn1gp1yx5m9rq01lrs5kcwin7sl4g8-ghc-paths-0.1.0.12' '/nix/store/6wdn1gp1yx5m9rq01lrs5kcwin7sl4g8-ghc-paths-0.1.0.12' '/nix/store/irb5kr6yjav18a4k51zqv7px2zqqd8ry-ghc-trace-events-0.1.2.8' '/nix/store/gp3aklia0p8bk00bjbgv73g534bdy8yv-Glob-0.10.2' '/nix/store/0s9vsb13ma2sidvk50s2jwir5m0g96mn-haddock-library-1.11.0' '/nix/store/sp79nlnwqx80ky99251qbrp23jf1rj22-hie-bios-0.13.1' '/nix/store/216703gf9s8f3flx70rk7p3am1hr3290-conduit-extra-1.3.6' '/nix/store/fx15wbgp8vfc8lsk3pahhmpc5i311sjp-streaming-commons-0.2.2.6' '/nix/store/l5l7p5pg085hcjikr61gyj1ji0ddfjpb-typed-process-0.2.11.1' '/nix/store/w9xnxsk110xi7r9c94cac2ns4dg1zdgl-temporary-1.3' '/nix/store/wx3vwqlnls38x27ph7w6f5lzxvyvkmxk-unix-compat-0.7.1' '/nix/store/jl64rnclfb064yv1084yl4zl0k6ykckl-hie-compat-0.3.1.2' '/nix/store/2xqav6hbzq2h4r9ijpd7ck6v3mzx0maq-hiedb-0.5.0.1' '/nix/store/pviwqwkz7yc0vmqv8fjhkk2fsnla4zcz-algebraic-graphs-0.7' '/nix/store/ww3xc0w45y7i48m59q9vcasvsl837xzy-lucid-2.11.20230408' '/nix/store/8rkl6l83n01bhffnqvg2zw4w0lxg0jjc-blaze-builder-0.4.2.3' '/nix/store/z5kdq3pl1zr158dq2d8dlih3sp4fr4nh-mmorph-1.2.0' '/nix/store/dqq7s8f4sf9yz8lag07119j98q9nxfai-sqlite-simple-0.4.19.0' '/nix/store/1gxdydmhz5y557iqjik860pvh08c6r33-blaze-textual-0.2.3.1' '/nix/store/84vplxfpw7ggzawghg1zq42f8xj2n2xx-direct-sqlite-2.3.29' '/nix/store/lqjp080hblyafkh08qjagl7lgfjq36vb-Only-0.1' '/nix/store/7a31smb1yz2a36hvnc8afhs6vlgagznf-terminal-size-0.3.4' '/nix/store/zvnkzqhbr6jy01053ap6mzbh6hy2mkcm-hls-graph-2.6.0.0' '/nix/store/icclfvwzkkzqcsans8lxhmbrn8ynj5zh-js-dgtable-0.5.2' '/nix/store/c0y40vhkgx9mgr8w39girpanl926apf2-js-flot-0.8.3' '/nix/store/7ajb102liv5hiim5kal0jqzqwddykhjh-js-jquery-3.3.1' '/nix/store/25p2xb011i7p86v6j7nranmzbys2djia-list-t-1.0.5.7' '/nix/store/34shvqysxdldjjdr2jypqss4bfsn90hv-foldl-1.4.15' '/nix/store/b6i3qzmadbaah41j8vxf70kz2frg4kdm-profunctors-5.6.2' '/nix/store/pc18fib6diw6pqiswy8f6lycaz3rl30p-logict-0.8.1.0' '/nix/store/147x3cb4hpnw252x19vv8biywyaw2iwz-monad-control-1.0.3.1' '/nix/store/1im873mjbb4hg84av2dvl5937z1swhv3-transformers-base-0.4.6' '/nix/store/1im873mjbb4hg84av2dvl5937z1swhv3-transformers-base-0.4.6' '/nix/store/7ynp74sldpbbqdkbjjgvwn2rs9brkln5-stm-containers-1.2.0.3' '/nix/store/x6br9yn18z8d6hv5w6dagsgs2v3wkbsa-deferred-folds-0.9.18.6' '/nix/store/cbak9dmmfpj8a888smziqj5nr8hyd2l1-stm-hamt-1.2.0.14' '/nix/store/n5qv2187ggcdwcv6amg0nk8h562hswgd-primitive-extras-0.10.1.10' '/nix/store/k27ha5mcbby7dvgi4kmip3qa2273r26l-cereal-0.5.8.3' '/nix/store/span3iz2gv6na2vnmn063rfqqcdc5lrh-primitive-unlifted-2.1.0.0' '/nix/store/6sn9jaw1fvndgxpx69vwcc5dpmahs7w4-unliftio-0.2.25.0' '/nix/store/mqmjg5hcgp9f3v14g39hfw1qsig834dx-hls-plugin-api-2.6.0.0' '/nix/store/0splyb9f2lhwdq7rhj4h97n3mb34g1pb-hw-fingertree-0.1.2.1' '/nix/store/y33421z65nvc0xq97zagzy0vkglyzw49-hw-prim-0.6.3.2' '/nix/store/ym8izk6qc7yzy1l71kfzj90acb2nvjr5-mmap-0.5.9' '/nix/store/6r6j6pipyya6dxk83zzkig79sb36jm10-lens-5.2.3' '/nix/store/rgb9663vwawpp97hzmb33j9vfkdz431v-call-stack-0.4.0' '/nix/store/vzhvli44rwd6l0gw2vfvy1l58xv8qnyx-free-5.2' '/nix/store/j9cs6fxnsra2dgk6j5xcw2l2a7ji29p7-kan-extensions-5.2.5' '/nix/store/b8brdx9x0dfwffc00ss9qdr45k3sycrr-adjunctions-4.4.2' '/nix/store/q1j8252w9mxz30pwiw9ch6pa00dhdjmb-semigroups-0.20' '/nix/store/814zj30w0dwgdc4bn27xp2r1m0pvm1cb-void-0.7.3' '/nix/store/gzcrxbg3q29zf1ma2cnx5a7cjaljdvj0-invariant-0.6.2' '/nix/store/c661pb7is3hiv1cva185avs07268qqly-parallel-3.2.2.0' '/nix/store/zxbd4qkvhk10wz6isw0ynj2ybvmsp029-reflection-2.1.7' '/nix/store/bxi92nm4xayjbr4gadiafinxdcg8kdsp-lens-aeson-1.2.3' '/nix/store/5n52k3vdsvw94rz1izf7rns1kkzm2z4s-lsp-2.3.0.0' '/nix/store/yjvfnhg5h79shxklvv51mi4yci3zhjsk-lsp-types-2.1.1.0' '/nix/store/757bnaz5vzbmayzidspm6yh5i1mmd6n3-generic-arbitrary-1.0.1' '/nix/store/25g5aqwlpkq1a4zv80p9573qh8f6l7kr-mod-0.2.0.1' '/nix/store/br9d8m32nk91mbc3r3hm4zyb4q04w9vx-semirings-0.6' '/nix/store/d4da3cr3kgdsd0awscdccwaqcr96s6n5-quickcheck-instances-0.3.30' '/nix/store/39r10iqxjq66rgg6g9smgi2ac0k56x2z-old-time-1.1.0.4' '/nix/store/b655vh04cwb6adkv2hl12q3awkfx3rpp-row-types-1.0.1.2' '/nix/store/ljf6calqk19km66krmjah4ak1658mfqx-generic-lens-2.2.2.0' '/nix/store/zdp5n2afi5wbrkyd2z3c2giq59x2a1k9-generic-lens-core-2.2.1.0' '/nix/store/g5ckacdcqii6xbfwks98x9p90rj3ahbc-indexed-profunctors-0.1.1.1' '/nix/store/0v3az6fcpvsxmp0q7qaci2dwfazqrxl9-safe-0.3.21' '/nix/store/z0wfs0ci79013lyi0c0rqgmkgz0x4wlq-regex-1.1.0.2' '/nix/store/ymq2qln67a4hk597f36diby57fb8ic0x-regex-pcre-builtin-0.95.2.3.8.44' '/nix/store/5ldg8310j3jg0vmnfjfgwfa25cnw1102-regex-tdfa-1.3.2.2' '/nix/store/mln9zj71jc2zp3d28jxnlq1nr4l1gj12-time-locale-compat-0.1.1.5' '/nix/store/lf4d0kwcllskdzc29lgnr5450gadyd19-utf8-string-1.0.2' '/nix/store/a3nxfwbwjpqffjnl21q057ysyq3j0727-sorted-list-0.2.2.0' '/nix/store/b37yqjrj6g7ihd9kq370z6hf7ly06fsh-text-rope-0.2' '/nix/store/7rlsj4yq4rhp877lnvkifkv8hwxgp904-uuid-1.3.15' '/nix/store/hj5i69y4s4ycbgzgykc3mnbkv172rn2z-cryptohash-md5-0.11.101.0' '/nix/store/bfqkabfb5kgcfxaywlvqsipgwxq2nv79-entropy-0.4.1.10' '/nix/store/7wa26353mv2abff0mpfhl33d0fncdwy2-network-info-0.2.1' '/nix/store/vzx8r0rjq2ysa8s021lmh9lq2c2ycry3-opentelemetry-0.8.0' '/nix/store/h072011f0700vanfhik1pykk17zv325j-implicit-hie-0.1.4.0' '/nix/store/y2gri4zvlrsnvdl92v6n8z3mbnbrsviq-filepattern-0.1.3' '/nix/store/y2gri4zvlrsnvdl92v6n8z3mbnbrsviq-filepattern-0.1.3' '/nix/store/1qpdhls0nzfpb05mh7hgxapxhnr2c217-gitrev-1.3.1' '/nix/store/n05icacd6pzviijqmb929s30ij5a9n7q-githash-0.1.7.0' '/nix/store/51lwp3b7sxgqwm6qrhdiswmhslz3q3vn-hls-alternate-number-format-plugin-2.6.0.0' '/nix/store/1r4mszdvgaiamcb10ygfbdksklp8rvj8-hls-cabal-fmt-plugin-2.6.0.0' '/nix/store/f4w4iny1k9520v7famzz7qzwjjkalqfj-process-extras-0.7.4' '/nix/store/2fh245qmi7wkpl3ajzmwa6s5riqqrmkd-generic-deriving-1.14.5' '/nix/store/b4qdvgz81pq1yk08ya9mhh31b9g40247-ListLike-4.7.8.2' '/nix/store/9pd3hddcdwhds5mzjpjpibhm19dnkgm7-fmlist-0.9.4' '/nix/store/r7bl0vz4pcnyijrblyvd9zq4wqicm4hh-hls-cabal-plugin-2.6.0.0' '/nix/store/0srfsy4629s6hsyvy5ymq7amhwljcipd-hls-call-hierarchy-plugin-2.6.0.0' '/nix/store/4gx0c90mblv12vszgyrn5kl3zhgh2m1a-hls-change-type-signature-plugin-2.6.0.0' '/nix/store/b8jyzmsnnhxzb4w0vpylmis8ndx803dh-hls-class-plugin-2.6.0.0' '/nix/store/101h50pvbrwb6b7hi49cz4yf40gxknbj-ghc-exactprint-1.7.1.0' '/nix/store/dzclfyllkxrbcmymgs1cincykk1h10z8-fail-4.9.0.0' '/nix/store/skrkzy6j159x1ph3805dlsd1fm1j0k0v-ordered-containers-0.2.3' '/nix/store/dc8sdv7gliqfaybyclz78538hvwliir5-hls-code-range-plugin-2.6.0.0' '/nix/store/6wp57v8jssqc3qc0gsg233065jymvy7m-hls-eval-plugin-2.6.0.0' '/nix/store/si5c5sq4vap9nif6d3aw9mpzmfaryqxq-pretty-simple-4.1.2.0' '/nix/store/c1bska6qbp0bwpha6qbfl5lzywgmh0n1-hls-explicit-fixity-plugin-2.6.0.0' '/nix/store/f7hp7v6zbf39n77nxr9slmib6l1b2kbq-hls-explicit-imports-plugin-2.6.0.0' '/nix/store/v8aam2wyb3ka1afsyq2y2cyjxgydimxn-hls-explicit-record-fields-plugin-2.6.0.0' '/nix/store/ipc6hrr6i143xbjjgw271p0ywywgki3v-hls-floskell-plugin-2.6.0.0' '/nix/store/g69h4dp9vw2xm2bfphajsnf35paipm4b-floskell-0.11.1' '/nix/store/65wk07md093wb3sm47a9yf9xzl0ap91l-haskell-src-exts-1.23.1' '/nix/store/y3zj94ysxazk80gkaq1ghygaxahd904n-monad-dijkstra-0.1.1.5' '/nix/store/04kd5ci40bapnhpb7a09jpm4bik9bbm8-psqueues-0.2.8.0' '/nix/store/637hlw5wbdilggslzclklq4yqfsgqkzf-ansi-wl-pprint-1.0.2' '/nix/store/wgb063y0m2rn49lxdr9i1jrqhhrp9gj0-prettyprinter-compat-ansi-wl-pprint-1.0.2' '/nix/store/f6zi8q70f3416w9l9yj3n2cqgg654i8l-hls-fourmolu-plugin-2.6.0.0' '/nix/store/pv4fln163plcf0bpgkmxcxn2gnfnw5gz-hls-gadt-plugin-2.6.0.0' '/nix/store/ymkp0cb7b8vyfgncplhqi8949pi52w7f-hls-refactor-plugin-2.6.0.0' '/nix/store/84yqigcqnrdlsk45md2sacq5jhwd3hq6-regex-applicative-0.3.4' '/nix/store/wmpxahk4pqdigflghbi46sk9fklrbyrs-filtrable-0.1.6.0' '/nix/store/ympigb3qm1fin5r3rkhsl7lrjh5p7d18-retrie-1.2.3' '/nix/store/n6jy1d0yxb8jdk35c0kvd14klnrx56b8-random-shuffle-0.0.4' '/nix/store/id9qmb4zcyfs1wdfcphlsm1yk2vg95zk-MonadRandom-0.6' '/nix/store/labphlgnw21xxa9j3mfygm2rcvg4nqz4-hls-hlint-plugin-2.6.0.0' '/nix/store/z51af1x72fdmdwkwli3bi51fa27xypyv-apply-refact-0.13.0.0' '/nix/store/7qipb0g14hzf7vxd50bpxr57ha4vbjd6-filemanip-0.3.6.3' '/nix/store/dv5g62i13sxjkpbfvn7r8dy79dp1cpi0-refact-0.3.0.2' '/nix/store/c0729ral37firmwvyvacw9in97s880yx-uniplate-1.6.13' '/nix/store/c0729ral37firmwvyvacw9in97s880yx-uniplate-1.6.13' '/nix/store/4m4crpd7wr5lqv90van0rkvwlz3im6dq-ghc-lib-parser-ex-9.6.0.2' '/nix/store/328asb4q211rsqxd2lnf6q3r2hxjmc08-hlint-3.6.1' '/nix/store/l5v9nkgh2ynvnjak1gi3k0lya1r8zp43-cpphs-1.20.9.1' '/nix/store/v47brmh2jd0v9x5wa10ixcsy1jq82z91-polyparse-1.13' '/nix/store/v47brmh2jd0v9x5wa10ixcsy1jq82z91-polyparse-1.13' '/nix/store/n798wgvgnvcczanr13ymh0rwliqxfr82-deriving-aeson-0.2.9' '/nix/store/jm5f7c00nvql0zd7b7442xhzrwhc3npz-hscolour-1.25' '/nix/store/sb1hgqnlbx1h5b4714vkykq6c01kc4l3-hls-module-name-plugin-2.6.0.0' '/nix/store/vqajilc3r36g2cbq68k563n2cxni3kbw-hls-ormolu-plugin-2.6.0.0' '/nix/store/ixbyqbqnfkrrb2d5svqd06520a5vs887-ormolu-0.7.2.0' '/nix/store/9kckmzlysl6sm4dhsvnvmsfabxylsafs-ormolu-0.7.2.0-bin' '/nix/store/p78qdbd6dm030v3yq9b8nd23mvmibqvy-hls-overloaded-record-dot-plugin-2.6.0.0' '/nix/store/hhc742iyqcal355bqc3j4winv9gqyi1k-hls-pragmas-plugin-2.6.0.0' '/nix/store/yi47cnnpx4vx8kn1c8fd90csz67mfi3r-fuzzy-0.1.1.0' '/nix/store/98pcw30lxd9vn7ia8a1f7jlkdxsp02dj-monoid-subclasses-1.2.4.1' '/nix/store/jny3mggdhyzy1fkdcrfpsaa0msv71v9g-commutative-semigroups-0.1.0.2' '/nix/store/n4d7r37v93lrhwsaxalx2sdnbv4128v5-primes-0.2.1.0' '/nix/store/4hb3iaaxyn8ammgbm2n5wyil0sk4hxsa-hls-qualify-imported-names-plugin-2.6.0.0' '/nix/store/2h5dxs96vrc4xwa4kfb9a94l3arwaafd-hls-rename-plugin-2.6.0.0' '/nix/store/m5fn2vd5i8vv3cc0b13321zg8l30dnin-hls-retrie-plugin-2.6.0.0' '/nix/store/bgzfgir07bb10mxkjz4cc9cnn0ifn1hq-hls-semantic-tokens-plugin-2.6.0.0' '/nix/store/jf99jf45q62n6p4fsqjj26lhpj964n7m-hls-splice-plugin-2.6.0.0' '/nix/store/p1p8pmjxccqvzab325laha4aizjgnc0y-hls-stan-plugin-2.6.0.0' '/nix/store/2gv837mkak8gvd766vck67mfj6lnss5k-stan-0.1.2.1' '/nix/store/fs5q3b924y7xxyvxr6iiqnyjzrwbxgk5-base64-0.4.2.4' '/nix/store/47car2j0sd6kv6hpd1pk1n0b858xjb62-blaze-html-0.9.1.2' '/nix/store/5d80nc6q2xqaaypb7nidybz8dixpzhj7-blaze-markup-0.8.3.0' '/nix/store/a5rlncj2xq7sbfzrfja8wjmdzj449613-clay-0.14.0' '/nix/store/w9bzavn3rrxk5dcdg3jsq567g1sq7ndh-colourista-0.1.0.2' '/nix/store/mv6r8sjrj8xj945xjpvncr55csgmpm1f-dir-traverse-0.2.3.0' '/nix/store/iw8fn0x4fbxl2rdla915nf990krnszvp-extensions-0.1.0.1' '/nix/store/9h0gg22nmfkv76nbdh1m6zq8dgbq520w-microaeson-0.1.0.1' '/nix/store/qfz58lsp6hb7xwdcc3fynshsi2kamp09-relude-1.2.1.0' '/nix/store/5mdfxxp1vdp39ixn3d5na3vcdiz5rdyl-slist-0.2.1.0' '/nix/store/l4a67y08dgm70gircgi5jkvmgkx2936b-tomland-1.3.3.2' '/nix/store/b2syf757lv0z82jfa04rx07pdcbjrgjv-validation-selective-0.2.0.0' '/nix/store/l9rxgnrfx6wyb2dwm4vxax3dgs3x4l3f-selective-0.7' '/nix/store/va38qrayxslgw4dihlnygzmcl73hchqy-trial-0.0.0.0' '/nix/store/7nwfjg5y0v5vy1d60ra3sqhv5d6f4qlh-trial-optparse-applicative-0.0.0.0' '/nix/store/w2ks4341d6zb5ljyxy7763xqwhn9wfbm-trial-tomland-0.0.0.0' '/nix/store/qx6vph65fvxf58nn3pdqj26icziy58zs-hls-stylish-haskell-plugin-2.6.0.0' '/nix/store/i2h3ibj2p8v597ic36x4hsf6dhw91d3x-stylish-haskell-0.14.5.0' '/nix/store/ygl47jsi4cs0b9gza0sh3pkhcw7g9a2l-HsYAML-0.2.1.3' '/nix/store/ib9zgnf8p30wnpibgfzcbq96ihlwdw4q-HsYAML-aeson-0.2.0.1' '/nix/store/ib9zgnf8p30wnpibgfzcbq96ihlwdw4q-HsYAML-aeson-0.2.0.1' '/nix/store/yl88va8lc7wk1lvsfq221g59vzd9yya8-optparse-simple-0.1.1.4' '/nix/store/yl88va8lc7wk1lvsfq221g59vzd9yya8-optparse-simple-0.1.1.4' '/nix/store/3125ahv429pk8sxnfhj5l3f2ph7jllrk-patchelf-0.15.0' '/nix/store/zfgzsn57hhv547x3qmxgpf9y8a320mjr-update-autotools-gnu-config-scripts-hook' '/nix/store/h9lc1dpi14z7is86ffhl3ld569138595-audit-tmpdir.sh' '/nix/store/m54bmrhj6fqz8nds5zcj97w9s9bckc9v-compress-man-pages.sh' '/nix/store/wgrbkkaldkrlrni33ccvm3b6vbxzb656-make-symlinks-relative.sh' '/nix/store/5yzw0vhkyszf2d179m0qfkgxmp5wjjx4-move-docs.sh' '/nix/store/fyaryjvghbkpfnsyw97hb3lyb37s1pd6-move-lib64.sh' '/nix/store/kd4xwxjpjxi71jkm6ka0np72if9rm3y0-move-sbin.sh' '/nix/store/pag6l61paj1dc9sv15l7bm5c17xn5kyk-move-systemd-user-units.sh' '/nix/store/jivxp510zxakaaic7qkrb7v1dd2rdbw9-multiple-outputs.sh' '/nix/store/ilaf1w22bxi6jsi45alhmvvdgy4ly3zs-patch-shebangs.sh' '/nix/store/cickvswrvann041nqxb0rxilc46svw1n-prune-libtool-files.sh' '/nix/store/xyff06pkhki3qy1ls77w10s0v79c9il0-reproducible-builds.sh' '/nix/store/ngg1cv31c8c7bcm2n8ww4g06nq7s4zhm-set-source-date-epoch-to-latest.sh' '/nix/store/wmknncrif06fqxa16hpdldhixk95nds0-strip.sh' '/nix/store/qhpw32pz39y6i30b3vrbw5fw6zv5549f-gcc-wrapper-13.2.0' '/nix/store/7hhd9smnjspppk4k6n47bkw64fdbgbrz-binutils-wrapper-2.41' )
+declare -a pkgsBuildHost=('/nix/store/blgxdbjs92jvghhw9wxa97j3ivw0mp95-ghc-9.8.1-with-packages' '/nix/store/rzl4x4yrgcipb48zc5jhs0i9cyx29ww3-primitive-0.8.0.0' '/nix/store/nsrdpywga13gqdkx96pb6x9yvnl1k39l-vector-stream-0.1.0.1' '/nix/store/7iyhw1sccmxfj6rsgsi6hi9jn9ilr0vd-cabal-install-3.10.3.0' '/nix/store/6b5pmf478dy365swkhqak22ihkfsa3wf-async-2.2.5' '/nix/store/55vi2wyxhz37vwvy2bavdv6w2hji7j3s-hashable-1.4.4.0' '/nix/store/z3rdm8sz4300y2afyygh2sv2gb0q73xm-os-string-2.0.2.2' '/nix/store/78dda81glmi6fxdpdr266iqq16bfv19j-base16-bytestring-1.0.2.0' '/nix/store/iawl1lksm2vfpha8m0wd9c64zb9xfwnc-Cabal-3.10.3.0' '/nix/store/rxk13ha257zy828bwjqbvis7zzq1cwmv-Cabal-syntax-3.10.3.0' '/nix/store/dj0l2nj98w1ds8hwhqfhqw15dn79qmz3-cabal-install-solver-3.10.2.1' '/nix/store/0p7zb65syx6lzrw0zynm3xiv76zdi9vy-edit-distance-0.2.2.1' '/nix/store/71hf075slg2rcwhgfha4l6d2ibc6kmm1-random-1.2.1.2' '/nix/store/n65i7hd9a5banvkmp947cng1siialhdi-splitmix-0.1.0.5' '/nix/store/g1jj0dcr9k0cidk14rxhb9xbi4c86bg5-cryptohash-sha256-0.11.102.1' '/nix/store/c1dikw8yjfrjs3kf1kv4jixlsc6mgvrm-echo-0.1.4' '/nix/store/9d5r6m792npb463mz42lj76gs9f30i0m-hackage-security-0.6.2.4' '/nix/store/5z1irr6r8sfd9ypwyjmzm6bhkpijziv1-base64-bytestring-1.2.1.0' '/nix/store/jf5i5dgcvrl4yvipd1jldfdpjhb7lbir-ed25519-0.0.5.0' '/nix/store/9j64ynfzigki3y301z65pw89qadzmrpn-lukko-0.1.1.3' '/nix/store/fivqycnbpzi50rabic1akl1rfn9r0cf9-network-3.1.4.0' '/nix/store/r9s7f28xmdkkd5w65lsjqfiimbrcbmbc-network-uri-2.6.4.2' '/nix/store/qa87appwpk7v2n7i2g0hv24skgyr8v11-th-compat-0.1.5' '/nix/store/rrwygn0jz7h3pa6i9jjplr39yv2vwjay-tar-0.5.1.1' '/nix/store/2cdzx3xxjsdbx5yb2x7wsx4y6gw0d3ns-zlib-0.6.3.0' '/nix/store/kzljs3mm467ahylr1l59r2xz3icsnx34-HTTP-4000.4.1' '/nix/store/cabxl75df1vkwxzcm52q5s1liavw6x19-regex-base-0.94.0.2' '/nix/store/mh4ddyc5apcd9r2yjfxgimi7hvp4z9f3-regex-posix-0.96.0.1' '/nix/store/2fb6crhddgsi5sbg29j8gy0dgkgipb7k-resolv-0.1.2.0' '/nix/store/p4iybaawcxv9p668gnxkbzjhc6wxjkwc-safe-exceptions-0.1.7.4' '/nix/store/rj64gmg7szlvwcm84kkpswhvj6sczx8p-fourmolu-0.15.0.0' '/nix/store/prv7gh2pmhq2jjx9v9mp0xbs3hpcyzqp-aeson-2.2.2.0' '/nix/store/sibch0jp17g6yrr5c0p1lxakcz2vbz6l-character-ps-0.1' '/nix/store/6wbch430x0bj786wd8v3bp8vwadqnxnl-data-fix-0.3.3' '/nix/store/pz4n4dn34nzcicfqsq456zrqhcqdydr8-dlist-1.0' '/nix/store/id0hm0fbnza2dxpd2i9y61n5pbjqmyfs-generically-0.1.1' '/nix/store/wbnc0kb4pbwjjnf14gk1xa2192gxfss8-indexed-traversable-0.1.3' '/nix/store/nda8xq2v4bi97rqmmqpm0fv2gc8v590y-integer-conversion-0.1.0.1' '/nix/store/lfjzs4vlsi585vlnh4p80glm4ps4j28w-integer-logarithms-1.0.3.1' '/nix/store/yfbxvr50bk3c46ig68rc6lh5fighsiwm-OneTuple-0.4.2' '/nix/store/d1qsqq0xj3axnrqvi7i8hjldcvsrmf2q-QuickCheck-2.14.3' '/nix/store/pspfznzw91x7m5pahrkbcj6hacapm4y2-scientific-0.3.7.0' '/nix/store/gnyhyg9nylyajqryvsj03vnav1n7ybh8-semialign-1.3' '/nix/store/89q589ih3d9i1k1am1qj2nbi3dh0wpsh-indexed-traversable-instances-0.1.1.2' '/nix/store/82j8f31hvqi13ai4sbxp4b128h22q64l-tagged-0.8.8' '/nix/store/h7lggx3kjbkypc9w191y17a3bypy999v-unordered-containers-0.2.20' '/nix/store/mbfh2cr08ax8qq4lkhil76w0qc26h3ww-vector-0.13.1.0' '/nix/store/zq3x3mgszifjrf0h5b0w7ijk9cv3n0g1-semigroupoids-6.0.1' '/nix/store/jzwqhl4qjr0qwi16wl41fcfc66aaqqvg-base-orphans-0.9.2' '/nix/store/yjhnzrpn3pyjwdhw5djy2jzvp30ni6cv-bifunctors-5.6.2' '/nix/store/cj87zjhngm7v3xxwsy2v0pbdnddxv88r-assoc-1.1.1' '/nix/store/nc6ylqfblvx43jc5z307lkvs1fpzshmq-comonad-5.0.8' '/nix/store/mjdspyqplk1jbmm12jnn0a5nv18m0894-distributive-0.6.2.1' '/nix/store/gx414j8gz6a9fws8qwsvc3khapi5gj7w-transformers-compat-0.7.2' '/nix/store/69rshc7s253pprwqh5i17zhir0blbj8v-th-abstraction-0.7.0.0' '/nix/store/70ai1vsivn452ll5jip10c9bsfprwwal-contravariant-1.5.5' '/nix/store/y0yr93m10znssxz9c0sd4a6s62bpl2c5-StateVar-1.2.2' '/nix/store/3d912c8lbazzm9g7q6s9nh252qcvnv9p-these-1.2' '/nix/store/ws8z33nkrwjiz4f0z7cfvl7sj4rqd7aw-strict-0.5' '/nix/store/kqv0rxlrbkn1ngxll44f2djiyhxgrj94-text-iso8601-0.1' '/nix/store/r7769dc12w3m07iisr9yf0g3gws7whkv-time-compat-1.9.6.1' '/nix/store/qd7b860sx7x6s3mqyzgk7r6wfiz10ck8-text-short-0.1.6' '/nix/store/qr7qwxd30gx8fyg7d31ahwwd2hrxfrcc-uuid-types-1.0.5.1' '/nix/store/xx6vikjkhpccj78zjv2295005swgbhjn-witherable-0.4.2' '/nix/store/wk5n2gplfviwhlmd8a1ss93gr6lrggjh-ansi-terminal-1.0.2' '/nix/store/vwgal667zrmqhrd8q6lf0kdh28d7cb9j-ansi-terminal-types-0.11.5' '/nix/store/94dlvisnhvp20wr5b4k5pmycdkpw9pmd-colour-2.3.6' '/nix/store/94dlvisnhvp20wr5b4k5pmycdkpw9pmd-colour-2.3.6' '/nix/store/g6mm91wl8q2v5jrkv8nxnc5iim7r1wsh-Diff-0.4.1' '/nix/store/n16cxwkbdj0nhbmn59m95nqda3x6drrd-file-embed-0.0.16.0' '/nix/store/5gxchvh2dgxxk0lxj16p6r2pg7i987x3-ghc-lib-parser-9.8.2.20240223' '/nix/store/n39sl4ykbnalgq357hdvabd52dk9dq33-megaparsec-9.6.1' '/nix/store/5dqrv7bpqd40mjf7mzc55vxg6gcdg17b-case-insensitive-1.2.1.0' '/nix/store/99jrvv892v5v74pijcwcpc3fhpj9vzb5-parser-combinators-1.3.0' '/nix/store/3zsar6zz1s9478n3rliibhzhsfr0clw7-MemoTrie-0.6.11' '/nix/store/wqrcvxibyy8wagfp9if1pmmpwfi0n013-newtype-generics-0.6.2' '/nix/store/fcfxbvw5k6yk6z2wwi4846n2wxsi86sd-syb-0.7.2.4' '/nix/store/yd7rbwifvkk1iqmyg79cs6n6i2ni2329-yaml-0.11.11.2' '/nix/store/4f9wc1n45wvlilrrjj4y357qk84bxxsc-attoparsec-0.14.4' '/nix/store/lk3yilr9rm1imcsqizpzq6zxmiqbqis4-conduit-1.3.5' '/nix/store/59b2frk6a76xxk10kxqjs8p5dyhxxk3r-mono-traversable-1.0.17.0' '/nix/store/31h8cq018dgimschw4b9fqp7k46qw5ps-split-0.2.5' '/nix/store/8rsvmx054gn13nh1w0j41mr8dkk2hynl-vector-algorithms-0.9.0.1' '/nix/store/d2lri8i1dcbyyvchqvz9x28szj5920m1-bitvec-1.1.5.0' '/nix/store/szx0712czs83afjmgq48zpix4aj7hr2a-resourcet-1.3.0' '/nix/store/aix1var6479vprvrq71w1q8rpi2djlsr-unliftio-core-0.2.1.0' '/nix/store/aix1var6479vprvrq71w1q8rpi2djlsr-unliftio-core-0.2.1.0' '/nix/store/8ngj3xgf1qpxins6vks3vny5c7imhpzs-libyaml-0.1.4' '/nix/store/anzgh7ki7wxdy2xm27s7iaamsdvgffyi-libyaml-clib-0.2.5' '/nix/store/y6ahm5d56iv0y05hcxqndmr1cyyzlhrv-optparse-applicative-0.18.1.0' '/nix/store/spgw123bk4x6k9368z3kbbmbzbgnwr9j-prettyprinter-1.7.1' '/nix/store/w9bxiakc7ddxifypg6jwpm94i5vz330x-prettyprinter-ansi-terminal-1.1.3' '/nix/store/zz2q9h82909252gn69a3r0g3slaswf4r-th-env-0.1.1' '/nix/store/cwx7727abcg47b570glfgcylw5b1qksc-ghcid-0.8.9' '/nix/store/2ncfhv24bgi21jf3ncjhbfgkkkjq552k-cmdargs-0.10.22' '/nix/store/73a9wlr26s3zr75pj90lmigj7xa1mbcq-extra-1.7.16' '/nix/store/swrizfj00d2b5zdar5jhyppiknss68h0-clock-0.8.4' '/nix/store/gv49c98vbcn7vrwihgm9szcb7xhr7w5h-fsnotify-0.4.1.0' '/nix/store/mbcbb3vm03ix8ghcb6yzl29gmn4yz1wh-hinotify-0.4.1' '/nix/store/38dirg23i3sgfb55y8vhw8qm08ivcgc1-monad-control-1.0.3.1' '/nix/store/1srsl2srz92m2pw8q5snxamrw2cpfbkn-transformers-base-0.4.6' '/nix/store/4ykr37ibzqlhq0hrbymd2af7zrxh6wwz-unix-compat-0.7.1' '/nix/store/m0jzl91ibiykwlzlzjr97p85g8mzld2a-terminal-size-0.3.4' '/nix/store/nj4i1d27m8hcjwlfj5sgbkbvv5h9889d-ghcid-0.8.9-bin' '/nix/store/dcls08l2gckim7zhm3793p17wcrh6lg0-haskell-language-server-2.8.0.0' '/nix/store/x184a6bzdsbnpwmilnqx92da06yspp78-aeson-pretty-0.8.10' '/nix/store/zpfv0brmcds6f2jvrrvdbmh70hk393pa-base-compat-0.13.1' '/nix/store/252qhbm5q17s2hdpiywg8by7q3xqhrva-attoparsec-aeson-2.2.2.0' '/nix/store/1la1b3bz62jrl9sls3ch07immm5hyzsw-apply-refact-0.14.0.0' '/nix/store/qdz1wn41yd328r2k1hpxwq8hlw0whf0g-filemanip-0.3.6.3' '/nix/store/8vrfylcrq2l8xjqlnpqnqbrs165srlyj-ghc-9.8.1' '/nix/store/xwm9jghcg3qrccwwnpv8swnngm8b0xjq-ghc-exactprint-1.8.0.0' '/nix/store/88snq6fj4csif4g6ac92zcqip928sspq-HUnit-1.6.2.0' '/nix/store/srn3jy5hiddf5qyp2ddzs452ryyl81f5-call-stack-0.4.0' '/nix/store/lgji38rb7m3dvijvkw5da40zqjwnwk3m-data-default-0.7.1.1' '/nix/store/y3p9aa2mzpjv1xaaq17pj1lrv5g6hkgj-data-default-class-0.1.2.0' '/nix/store/yqwnx3ixcbrijv49kz4jhyrffvdda6cf-data-default-instances-containers-0.0.1' '/nix/store/p70125jsvsqg91692ikzm2s5njdj3w20-data-default-instances-dlist-0.0.1' '/nix/store/z0a49wvhr7n1rawrr9bv8a5gjd3ihi6c-data-default-instances-old-locale-0.0.1' '/nix/store/l8qp7b0b3ngk0bwwk05ldgr9nx1x3kdh-old-locale-1.0.0.7' '/nix/store/8r2lvqi7xk1z12nilv3hzzrc1jmyrbaj-free-5.2' '/nix/store/w38jnmwm1yinmqd55qh04cspi5k4ck7q-profunctors-5.6.2' '/nix/store/fady4paa3z2mcxkjkj596xf5sg2cmalc-ghc-paths-0.1.0.12' '/nix/store/mis3qd2b8kc16svcajvrjxpp6a13xki3-ordered-containers-0.2.3' '/nix/store/p1p34sf4c8kkhkiri0z64gk7dsb5a4g7-silently-1.2.5.3' '/nix/store/rv8jfiwgh4q5xwqy1g3mzzfk0c9i7db4-refact-0.3.0.2' '/nix/store/rdlaj72kf454mbxbswq1b2760vn661x0-uniplate-1.6.13' '/nix/store/rdlaj72kf454mbxbswq1b2760vn661x0-uniplate-1.6.13' '/nix/store/5zhcm7fi2c076mn5adkrfy16ywxhkbih-floskell-0.11.1' '/nix/store/a7yx27jj0q1gldzn67lld9bydybsash1-haskell-src-exts-1.23.1' '/nix/store/gmmdxbswkm2clv9w5ciavg9j1r4v9v3f-monad-dijkstra-0.1.1.5' '/nix/store/yy8dr2pfwibkdv1zd4cnv942glwkync0-psqueues-0.2.8.0' '/nix/store/p95qy0hf1c76qb8bchnlqqds4zw4kxhv-ansi-wl-pprint-1.0.2' '/nix/store/wgr4fflni5yksj1b2r8ynz5wzv80971d-prettyprinter-compat-ansi-wl-pprint-1.0.2' '/nix/store/04p7f7ah5xvxbl8jjpdrkmly06ylczcy-foldl-1.4.16' '/nix/store/npb6lj2rvnjs6bhrzys4kvg9anv05fcm-fuzzy-0.1.1.0' '/nix/store/4nwibkiy3bk0xg80zq7sz43azd852hr5-monoid-subclasses-1.2.5' '/nix/store/b4sfl3i2mdn8525crm0cwsfwf161vbdz-commutative-semigroups-0.1.1.0' '/nix/store/2l5994i5vhh6i26sn55019sg6vvj8l8i-primes-0.2.1.0' '/nix/store/gc1k6792p4m196w9grl6id8ywpi1spjp-ghc-lib-parser-ex-9.8.0.2' '/nix/store/22i0yw9kbgcpmkzrcqcs0zivv9iphq3c-ghcide-2.8.0.0' '/nix/store/if5dyix00blzx8rb03np5063rwckrqp4-co-log-core-0.3.2.1' '/nix/store/nmw2cfxgd8razr1v96b1p8b4r1vvfs4c-cryptohash-sha1-0.11.101.0' '/nix/store/dkh77g537qivza4lqhzjpxbzw4d74icm-dependent-map-0.4.0.0' '/nix/store/61zyqxrdrfls2rqzhfwf65n4k31knb63-constraints-extras-0.4.0.0' '/nix/store/jh6ksmn3qzanmm6skxppx9l20g9y481z-constraints-0.14.2' '/nix/store/y27hnvn320z58nnwv7zbmfmghf26fh48-boring-0.2.1' '/nix/store/l3z9disnm4q9p8bb6vydjixb2kv7ic7i-dependent-sum-0.7.2.0' '/nix/store/4cwibkl04hwjgmc7bms6badqss95lx6w-some-1.0.6' '/nix/store/w78d0x86qv7djcwbij6jsm59fm563l8s-enummapset-0.7.2.0' '/nix/store/mln1pc6az39vq5hl4qmssjgh7nl607v9-fingertree-0.1.5.0' '/nix/store/1hpg5wi3qk91chr334gyic3w8dbh15di-focus-1.0.3.2' '/nix/store/r14wfrqwq1cjafzy27f5qr4xirniw7m7-ghc-check-0.5.0.8' '/nix/store/00vs48m4w3hgx8zbzcarhihzmyqss59j-ghc-trace-events-0.1.2.8' '/nix/store/y5rhra8pvrarmka65x9w5l0as25b7clk-Glob-0.10.2' '/nix/store/2jhqvhjq0fh4vhq2mpzjlrrv2xcm569q-haddock-library-1.11.0' '/nix/store/6a5az6nspm8qkv1f1871d3z81xrk8fjx-hie-bios-0.14.0' '/nix/store/r9bdrjsawm3vla9gasrz610y15qb6gpq-conduit-extra-1.3.6' '/nix/store/bfldhfl5fqkxw920vdcrm9isks80ng82-streaming-commons-0.2.2.6' '/nix/store/l1ny5w7yq6vdl02qhqi21iskzfpzay33-typed-process-0.2.11.1' '/nix/store/vhf1shhdlvxlcjbd0s6bldxfy74934i0-temporary-1.3' '/nix/store/l7hrqp7gckjikllv0nnpj159i0zi5szq-hie-compat-0.3.1.2' '/nix/store/xfqzjkbxfaksjah0iwhq6skpdvccrmm4-hiedb-0.6.0.0' '/nix/store/nla7y9k8mzrwv9yx1bq6l5ghwjzwk4j9-algebraic-graphs-0.7' '/nix/store/xbz407nrd7pn5kky4bad9sz49a838l4j-lucid-2.11.20230408' '/nix/store/czglz29xw870s79fssd5rikh5ghn3m1y-blaze-builder-0.4.2.3' '/nix/store/bins8vi7c15h9y7y9pf47xxchcxam8zl-mmorph-1.2.0' '/nix/store/xyi63k9z43rmaxjcw82jjig6a5hmfmj6-sqlite-simple-0.4.19.0' '/nix/store/k7dsc99ydm7hf7xkzqh42fc760kj4npb-blaze-textual-0.2.3.1' '/nix/store/qw4gxiavdi5q154jpkpj658m6jqfhz9w-direct-sqlite-2.3.29' '/nix/store/3233028c40826wbzv462wj9jd98fi2w6-Only-0.1' '/nix/store/lhkwy4rqzphpmfqw85lif8yq581rksgk-hls-graph-2.8.0.0' '/nix/store/0yy78fbgiq7r1sfr89xj99nbp5f3wniw-js-dgtable-0.5.2' '/nix/store/azy57262gwpflf8zh39qg4lyn65yqj39-js-flot-0.8.3' '/nix/store/96f2lpdl9wag19rjxr7s4kawf8z0xkli-js-jquery-3.3.1' '/nix/store/lz7g5dq89f3wcyz9i7vfdcmm2mimmlj3-list-t-1.0.5.7' '/nix/store/fyqjs1vihrr1s6yml9cp8ph3187c0dv8-logict-0.8.1.0' '/nix/store/46mmcmag25yirbzxd8sqyp017jgbav3v-stm-containers-1.2.1' '/nix/store/0swhjdlja3h8vpjd8qj666ws16dkzasy-deferred-folds-0.9.18.6' '/nix/store/qsfdp6xmpd7hd6v1k01znmzxh4nvbizf-stm-hamt-1.2.1' '/nix/store/xp6q7sl07jrfbpn2pks5v25h5vmkd9gs-primitive-extras-0.10.2' '/nix/store/zn11w3ankrz41dc6wqxhxi7f53fkaak0-cereal-0.5.8.3' '/nix/store/6s5lxl6hyv0ma4sa5wpsh9jhmflzi2vq-primitive-unlifted-2.1.0.0' '/nix/store/yfv2rp21pbix5p6qji8fd41k6vk163a6-unliftio-0.2.25.0' '/nix/store/xw22rric2qc7qvdx27r1s2nbdc52iqks-hls-plugin-api-2.8.0.0' '/nix/store/pcli8n9h1sgs957ix95pm2k87h4r2rpz-hw-fingertree-0.1.2.1' '/nix/store/ymiw3c25sirghkhg9qi6lbx075kzvg26-hw-prim-0.6.3.2' '/nix/store/vc3isc9fz0wfrvkh2ccj14fkq61vqgbf-mmap-0.5.9' '/nix/store/88y48sy9vaczh0fvqpkqv3z5vx8hr260-lens-5.2.3' '/nix/store/ybchd4ssgl33pynb1j6h0siqnvgpk2rs-kan-extensions-5.2.6' '/nix/store/3rx5hzjys549s2lylj51wpy89srjy0dh-adjunctions-4.4.2' '/nix/store/86hqnfppcl3ij6hwihw3iir4ps4iiw6g-semigroups-0.20' '/nix/store/qiyd4liw1hdvpb49r2phxf7khvvi4hd9-void-0.7.3' '/nix/store/pldr1987q631v8a79la5fxh031173kvy-invariant-0.6.3' '/nix/store/r2jlxxwba7x9s4a0k6m0l49c4ab6l1hf-parallel-3.2.2.0' '/nix/store/i096a929by8avdm3dnn9fw0q9jp1x1gp-reflection-2.1.8' '/nix/store/6cj1snj7psha65k616kjlj0x9dn8w9i2-lens-aeson-1.2.3' '/nix/store/9mbppllnliqsb68729fd2w9s9irsrjfl-lsp-2.4.0.0' '/nix/store/zbsr8327vfnxy48v26cfkfczg895qqdm-lsp-types-2.1.1.0' '/nix/store/lq55hqwhfrjgz4c9r1169c14prigijf7-generic-arbitrary-1.0.1' '/nix/store/40kgr874y2ksgj3l5lx9613qsmx9a7nv-mod-0.2.0.1' '/nix/store/3jh2xs53chhg6n0nc7gz02qybjzcy9cp-semirings-0.6' '/nix/store/00awqc6kymmgzqx85k8znv59jin8kgbm-base-compat-batteries-0.13.1' '/nix/store/wsvxcy2rayzwslaz3hab6g9c55zxcvl3-quickcheck-instances-0.3.30' '/nix/store/xyc492cn852xi0x4vwg27h40pgcs7pvl-old-time-1.1.0.4' '/nix/store/0awhgyyl8nrgd32l56wbk6k3ycxvah2b-row-types-1.0.1.2' '/nix/store/dxwyn1cnyjhgy2g7vrdqgbd2ryh8qdfi-generic-lens-2.2.2.0' '/nix/store/fcv9qaq290ynffdnhgwqld7n5fqagxzd-generic-lens-core-2.2.1.0' '/nix/store/k81806vf4kkm3j7nj9cv4i2ln74kvwfi-indexed-profunctors-0.1.1.1' '/nix/store/p0sdafj81nhmlp7h4973wsq6wb0ikhn0-safe-0.3.21' '/nix/store/14nb9nfd7cjz88rhb7n1cal7s5w1ian7-regex-1.1.0.2' '/nix/store/hsinfnscwpqzwjfbnxmdwkxrgp0kiiiv-regex-pcre-builtin-0.95.2.3.8.44' '/nix/store/hdg2d6nj838n55hhqmsny9n860w0n91k-regex-tdfa-1.3.2.2' '/nix/store/1vpjas30ph8701agivxnvzafdn3m139b-time-locale-compat-0.1.1.5' '/nix/store/wb663pwfkl2lj3zjgqv6922bvkf6srj6-utf8-string-1.0.2' '/nix/store/f6i9zkd139l4j6rhqa2v08yinrcm2gbz-sorted-list-0.2.2.0' '/nix/store/ais9w82azv88m2fl0d2lzz165d4v5va4-text-rope-0.2' '/nix/store/ybln4mjsk2dk32z3kw0zja4gvvwzqrg5-uuid-1.3.15' '/nix/store/bs7hfxpci14vfx8zljx8nfs3nnj2w03j-cryptohash-md5-0.11.101.0' '/nix/store/n9n0f55nn7xsfbrjmrvab3hrfhmdgvxn-entropy-0.4.1.10' '/nix/store/c84ffhr70bifq8w1p78cad01r1s375ck-network-info-0.2.1' '/nix/store/kjx10qh153syyxfvy09gnrsqvynahqfx-opentelemetry-0.8.0' '/nix/store/dkj6c23xxj6a33n1w9ng1iyg5dc2v3iw-implicit-hie-0.1.4.0' '/nix/store/0ynb80pxda22c2sgyf7cg5kfqndgnhw8-filepattern-0.1.3' '/nix/store/0ynb80pxda22c2sgyf7cg5kfqndgnhw8-filepattern-0.1.3' '/nix/store/6ig1kxcdpw06zbhcs5jj375fng2fax0i-lsp-test-0.17.0.0' '/nix/store/c1fp2bxwwy1419kp88x1h6r20jks93wx-conduit-parse-0.2.1.1' '/nix/store/awvisx1b431g6mypa871y3pjhhzr5rrw-parsers-0.12.11' '/nix/store/gy9w9gsnc55zg6yaryjggrardmkkinzl-charset-0.3.10' '/nix/store/fhyndm1212n4bqgxnricxk2ik809jc20-tasty-hunit-0.10.1' '/nix/store/9b28wzqr88kc5060il6m8sqa9h6dmbgp-tasty-1.4.3' '/nix/store/34n8hk6k6m7641das3jpp2y9hx7ajvj6-gitrev-1.3.1' '/nix/store/813dn3050874b6wbvrcpdcfgn68jv8cm-githash-0.1.7.0' '/nix/store/wqbjmav8m293dj9g451fmha59kq6y1xi-hlint-3.8' '/nix/store/8cjkrq6ccwzd3vgrasrqznxf5x2fbxpy-cpphs-1.20.9.1' '/nix/store/qfnqsl6065ip2pvsm9ljr15iizzcxdx0-polyparse-1.13' '/nix/store/qfnqsl6065ip2pvsm9ljr15iizzcxdx0-polyparse-1.13' '/nix/store/g2znvx64wf9ldh9y6g2bhwiv05y4b2gg-deriving-aeson-0.2.9' '/nix/store/zj4m36y83x4lj032m0qwc31szlk8z3i6-hscolour-1.25' '/nix/store/pi1b93a2pgxbc98rwasiz823sjqzn8ls-optparse-simple-0.1.1.4' '/nix/store/77ashdq759k0fsg1n60wp9kfq02wk2hr-ormolu-0.7.4.0' '/nix/store/039a77s86llb8d03afmcr1h12zjs6daa-process-extras-0.7.4' '/nix/store/2xx3hdsm8wwmrzlv8whl0rvlviz149mq-generic-deriving-1.14.5' '/nix/store/1sind2vg95bd01dj7ikcazmd78p9lzcc-ListLike-4.7.8.2' '/nix/store/zdp7v9snfncpiz4lkgfb92s979j4mrc1-fmlist-0.9.4' '/nix/store/3snvbkjprmj9dnh7f14w7pyvg99zh9d4-regex-applicative-0.3.4' '/nix/store/smqq9ris2dkrd839hcisni9yncc88ccl-filtrable-0.1.6.0' '/nix/store/ni8cdqbx317mdapiv5h5i3b76g6kvnhk-retrie-1.2.3' '/nix/store/fsfm5d5rwz92xgarxkif1wbaajhm2cra-random-shuffle-0.0.4' '/nix/store/9dxyyq9nrayqs50crdp3486sld0pxwcj-MonadRandom-0.6' '/nix/store/45gwwamqfvqzsdsi52nzrg5pfi8g4m6f-stan-0.1.2.1' '/nix/store/11vnpsqrlr5hk189dkwin4gcif21i2sq-base64-0.4.2.4' '/nix/store/bxvv21v6gb6hmqj8lggwgpaj951sqm6s-blaze-html-0.9.2.0' '/nix/store/xgyvi7m6119ljr3zp22fy58clhlpa1h9-blaze-markup-0.8.3.0' '/nix/store/sp9ljl998lmrxjxhisp4zpxxgsw17wd3-clay-0.14.0' '/nix/store/zbcqghaav8w03p3jhz3pwy1s3hip2pds-colourista-0.1.0.2' '/nix/store/53pz1d5im31f8ribji0fn7f2sfk81jkq-dir-traverse-0.2.3.0' '/nix/store/r33xmgp5d698z1wrz9s91p9hwqqhm41f-extensions-0.1.0.1' '/nix/store/6gzqfpl9wz7w3a79s7w1lh3hr1nagxj7-microaeson-0.1.0.1' '/nix/store/isj45xq4sh916iswb4drziysq9ayljay-fail-4.9.0.0' '/nix/store/0g0zplzhglb6qmid7jfp3l5jw3k527d5-pretty-simple-4.1.2.0' '/nix/store/rflhcw4l273af5x6z7ms492y2l5ra1wa-relude-1.2.1.0' '/nix/store/x3prl55fwzh6p1qy2ir2z9cssl6gpx0m-slist-0.2.1.0' '/nix/store/d8x134ggc1qilfacxbp0fha3rh59ldln-tomland-1.3.3.2' '/nix/store/74yk60nd0m2ny1235svr3swkw42c53si-validation-selective-0.2.0.0' '/nix/store/750dxn2kmc2ir7njdq9d69ysym4l3m6p-selective-0.7.0.1' '/nix/store/1x829yzrbql5rm1lb28z30788r0byzbh-trial-0.0.0.0' '/nix/store/lvg57vqfd2k64aajrifhfs6r7wrx7b3f-trial-optparse-applicative-0.0.0.0' '/nix/store/4afzdgmw7jnl5a1nlm5ihnzj738r54j0-trial-tomland-0.0.0.0' '/nix/store/ac8wlihq7lg9pc06093fbw23zg8sf2y2-stylish-haskell-0.14.6.0' '/nix/store/948lzaxd2am993aai4nkm77w5fpisxa5-HsYAML-0.2.1.4' '/nix/store/hqn5wrv2jg4pj8fhkrr7h79fynpv0m79-HsYAML-aeson-0.2.0.1' '/nix/store/hqn5wrv2jg4pj8fhkrr7h79fynpv0m79-HsYAML-aeson-0.2.0.1' '/nix/store/pdqndw2kgjv8l3kd5ii0c833jqmxdanq-patchelf-0.15.0' '/nix/store/zls41s2455b6pw5d35sslf6v3gvz9349-update-autotools-gnu-config-scripts-hook' '/nix/store/h9lc1dpi14z7is86ffhl3ld569138595-audit-tmpdir.sh' '/nix/store/m54bmrhj6fqz8nds5zcj97w9s9bckc9v-compress-man-pages.sh' '/nix/store/wgrbkkaldkrlrni33ccvm3b6vbxzb656-make-symlinks-relative.sh' '/nix/store/5yzw0vhkyszf2d179m0qfkgxmp5wjjx4-move-docs.sh' '/nix/store/fyaryjvghbkpfnsyw97hb3lyb37s1pd6-move-lib64.sh' '/nix/store/kd4xwxjpjxi71jkm6ka0np72if9rm3y0-move-sbin.sh' '/nix/store/pag6l61paj1dc9sv15l7bm5c17xn5kyk-move-systemd-user-units.sh' '/nix/store/jivxp510zxakaaic7qkrb7v1dd2rdbw9-multiple-outputs.sh' '/nix/store/ilaf1w22bxi6jsi45alhmvvdgy4ly3zs-patch-shebangs.sh' '/nix/store/cickvswrvann041nqxb0rxilc46svw1n-prune-libtool-files.sh' '/nix/store/xyff06pkhki3qy1ls77w10s0v79c9il0-reproducible-builds.sh' '/nix/store/ngg1cv31c8c7bcm2n8ww4g06nq7s4zhm-set-source-date-epoch-to-latest.sh' '/nix/store/gps9qrh99j7g02840wv5x78ykmz30byp-strip.sh' '/nix/store/mpm3i0sbqc9svfch6a17179fs64dz2kv-gcc-wrapper-13.3.0' '/nix/store/l46fjkzva0bhvy9p2r7p4vi68kr7a1db-binutils-wrapper-2.41' )
 declare -a pkgsBuildTarget=()
-declare -a pkgsHostHost=('/nix/store/w6aci43k9bdvrkz9nwfx2dqw67h0llmq-ncurses-6.4' '/nix/store/jx5kkzn0dhxa5y5k1fs9ymbvha15r911-libffi-3.4.6' '/nix/store/3frbd0spychry5hg7jfajaiga271nwk1-elfutils-0.190' '/nix/store/wx2ngazi4zyx1gi55kz3p9q8y6497fsk-gmp-with-cxx-6.3.0' '/nix/store/w6aci43k9bdvrkz9nwfx2dqw67h0llmq-ncurses-6.4' )
+declare -a pkgsHostHost=('/nix/store/qi2525fzsnmgayxba5gxc2xi3x80g99x-ncurses-6.4.20221231' '/nix/store/nj9g42fdsm8l2z43kfcahch3px2q209a-libffi-3.4.6' '/nix/store/3bffbi88dmkpr5ib58wsngqd6bfdjzgj-elfutils-0.191' '/nix/store/vgzmgmppvpb6gqlc56jhcn007cjn7xg9-gmp-with-cxx-6.3.0' '/nix/store/qi2525fzsnmgayxba5gxc2xi3x80g99x-ncurses-6.4.20221231' )
 declare -a pkgsHostTarget=()
 declare -a pkgsTargetTarget=()
 declare -a postFixupHooks=('_makeSymlinksRelativeInAllOutputs' '_multioutPropagateDev' )
@@ -174,11 +174,11 @@ declare -a propagatedHostDepFiles=('propagated-host-host-deps' 'propagated-build
 propagatedNativeBuildInputs=''
 export propagatedNativeBuildInputs
 declare -a propagatedTargetDepFiles=('propagated-target-target-deps' )
-shell='/nix/store/4vzal97iq3dmrgycj8r0gflrh51p8w1s-bash-5.2p26/bin/bash'
+shell='/nix/store/agkxax48k35wdmkhmmija2i2sxg8i7ny-bash-5.2p26/bin/bash'
 export shell
 shellHook=''
 export shellHook
-stdenv='/nix/store/v099hqvw5z87423p4hz1vfhzaqa07dii-stdenv-linux'
+stdenv='/nix/store/d3dzfy4amjl826fb8j00qp1d9887h7hm-stdenv-linux'
 export stdenv
 strictDeps=''
 export strictDeps
@@ -347,10 +347,10 @@ _defaultUnpack ()
         case "$fn" in 
             *.tar.xz | *.tar.lzma | *.txz)
                 ( XZ_OPT="--threads=$NIX_BUILD_CORES" xz -d < "$fn";
-                true ) | tar xf - --warning=no-timestamp
+                true ) | tar xf - --mode=+w --warning=no-timestamp
             ;;
             *.tar | *.tar.* | *.tgz | *.tbz2 | *.tbz)
-                tar xf "$fn" --warning=no-timestamp
+                tar xf "$fn" --mode=+w --warning=no-timestamp
             ;;
             *)
                 return 1
@@ -1015,7 +1015,7 @@ fixupPhase ()
     for output in $(getAllOutputNames);
     do
         if [ -e "${!output}" ]; then
-            chmod -R u+w "${!output}";
+            chmod -R u+w,u-s,g-s "${!output}";
         fi;
     done;
     runHook preFixup;
@@ -1626,7 +1626,7 @@ stripDirs ()
         echo "stripping (with command $cmd and flags $stripFlags) in $paths";
         local striperr;
         striperr="$(mktemp --tmpdir="$TMPDIR" 'striperr.XXXXXX')";
-        find $paths -type f "${excludeFlags[@]}" -a '!' -path "$prefix/lib/debug/*" -print0 | xargs -r -0 -n1 -- realpath -z | sort -u -z | xargs -r -0 -n1 -P "$NIX_BUILD_CORES" -- $cmd $stripFlags 2> "$striperr" || exit_code=$?;
+        find $paths -type f "${excludeFlags[@]}" -a '!' -path "$prefix/lib/debug/*" -printf '%D-%i,%p\0' | sort -t, -k1,1 -u -z | cut -d, -f2- -z | xargs -r -0 -n1 -P "$NIX_BUILD_CORES" -- $cmd $stripFlags 2> "$striperr" || exit_code=$?;
         [[ "$exit_code" = 123 || -z "$exit_code" ]] || ( cat "$striperr" 1>&2 && exit 1 );
         rm "$striperr";
         find $paths -name '*.a' -type f -exec $ranlibCmd '{}' \; 2> /dev/null;
@@ -1853,7 +1853,7 @@ updateAutotoolsGnuConfigScriptsPhase ()
         for f in $(find . -type f -name "$script");
         do
             echo "Updating Autotools / GNU config script to a newer upstream version: $f";
-            cp -f "/nix/store/27g0inj79hpzaw31kqshbv5v9caz3qac-gnu-config-2023-09-19/$script" "$f";
+            cp -f "/nix/store/mzg9fi1jl69kvf979axsbfsi1wzay53c-gnu-config-2024-01-01/$script" "$f";
         done;
     done
 }
diff --git a/.gitignore b/.gitignore
index 6a62767..a0860f7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,4 +22,5 @@ cabal.project.local
 cabal.project.local~
 .HTF/
 .ghc.environment.*
-
+.direnv/
+src/.liquid/
diff --git a/Sudoku.cabal b/Sudoku.cabal
index 2a4d834..55b6a65 100644
--- a/Sudoku.cabal
+++ b/Sudoku.cabal
@@ -68,10 +68,12 @@ library
     -- other-extensions:
 
     -- Other library packages from which modules are imported.
-    build-depends:    base ^>=4.18.2.0,
+    build-depends:    base ^>=4.19.0.0,
                       vector ^>=0.13.1.0,
                       mtl ^>=2.3.1,
-                      split ^>=0.2.2
+                      split ^>=0.2.2,
+                      liquidhaskell,
+                      liquid-vector
 
     -- Directories containing source files.
     hs-source-dirs:   src
@@ -94,10 +96,10 @@ executable Sudoku
 
     -- Other library packages from which modules are imported.
     build-depends:
-        base ^>=4.18.2.0,
+        base ^>=4.19.0.0,
         Sudoku,
         vector ^>=0.13.1.0,
-        mtl ^>=2.3.1
+        mtl ^>=2.3.1,
 
     -- Directories containing source files.
     hs-source-dirs:   app
@@ -129,5 +131,5 @@ test-suite Sudoku-test
 
     -- Test dependencies.
     build-depends:
-        base ^>=4.18.2.0,
+        base ^>=4.19.0.0,
         Sudoku
diff --git a/flake.lock b/flake.lock
index 23f370c..3f505be 100644
--- a/flake.lock
+++ b/flake.lock
@@ -5,11 +5,11 @@
         "nixpkgs-lib": "nixpkgs-lib"
       },
       "locked": {
-        "lastModified": 1709336216,
-        "narHash": "sha256-Dt/wOWeW6Sqm11Yh+2+t0dfEWxoMxGBvv3JpIocFl9E=",
+        "lastModified": 1717285511,
+        "narHash": "sha256-iKzJcpdXih14qYVcZ9QC9XuZYnPc6T8YImb6dX166kw=",
         "owner": "hercules-ci",
         "repo": "flake-parts",
-        "rev": "f7b3c975cf067e56e7cda6cb098ebe3fb4d74ca2",
+        "rev": "2a55567fcf15b1b1c7ed712a2c6fadaec7412ea8",
         "type": "github"
       },
       "original": {
@@ -20,11 +20,11 @@
     },
     "haskell-flake": {
       "locked": {
-        "lastModified": 1710675764,
-        "narHash": "sha256-ZpBoh1dVLTxC3wccOnsji7u/Ceuwh2raQn/Vq6BBYwo=",
+        "lastModified": 1717944201,
+        "narHash": "sha256-h9cBnB1hfF73g/K7FJtsOdcE0mbi00qBGCJ+CFH7jRQ=",
         "owner": "srid",
         "repo": "haskell-flake",
-        "rev": "ef955d7d239d7f82f343b569a4cf2c7c1a4df1f4",
+        "rev": "8bffb2266b38fe7983d14fc4858aea2e64ad2175",
         "type": "github"
       },
       "original": {
@@ -35,11 +35,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1710889954,
-        "narHash": "sha256-Pr6F5Pmd7JnNEMHHmspZ0qVqIBVxyZ13ik1pJtm2QXk=",
+        "lastModified": 1718276985,
+        "narHash": "sha256-u1fA0DYQYdeG+5kDm1bOoGcHtX0rtC7qs2YA2N1X++I=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "7872526e9c5332274ea5932a0c3270d6e4724f3b",
+        "rev": "3f84a279f1a6290ce154c5531378acc827836fbb",
         "type": "github"
       },
       "original": {
@@ -51,20 +51,14 @@
     },
     "nixpkgs-lib": {
       "locked": {
-        "dir": "lib",
-        "lastModified": 1709237383,
-        "narHash": "sha256-cy6ArO4k5qTx+l5o+0mL9f5fa86tYUX3ozE1S+Txlds=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "1536926ef5621b09bba54035ae2bb6d806d72ac8",
-        "type": "github"
+        "lastModified": 1717284937,
+        "narHash": "sha256-lIbdfCsf8LMFloheeE6N31+BMIeixqyQWbSr2vk79EQ=",
+        "type": "tarball",
+        "url": "https://github.com/NixOS/nixpkgs/archive/eb9ceca17df2ea50a250b6b27f7bf6ab0186f198.tar.gz"
       },
       "original": {
-        "dir": "lib",
-        "owner": "NixOS",
-        "ref": "nixos-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
+        "type": "tarball",
+        "url": "https://github.com/NixOS/nixpkgs/archive/eb9ceca17df2ea50a250b6b27f7bf6ab0186f198.tar.gz"
       }
     },
     "root": {
diff --git a/flake.nix b/flake.nix
index 255427e..3ac0bc6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -21,7 +21,7 @@
           # The base package set representing a specific GHC version.
           # By default, this is pkgs.haskellPackages.
           # You may also create your own. See https://haskell.flake.page/package-set
-          # basePackages = pkgs.haskellPackages;
+          basePackages = pkgs.haskell.packages.ghc981;
 
           # Dependency overrides go here. See https://haskell.flake.page/dependency
           # source-overrides = { };
@@ -33,9 +33,9 @@
           
             # Programs you want to make available in the shell.
             # Default programs can be disabled by setting to 'null'
-            tools = hp: { fourmolu = hp.fourmolu; ghcid = null; };
+            tools = hp: { fourmolu = hp.fourmolu; };
           
-            hlsCheck.enable = true;
+            # hlsCheck.enable = true;
            };
         };
 
diff --git a/src/Types.hs b/src/Types.hs
index 02ad916..4a54751 100644
--- a/src/Types.hs
+++ b/src/Types.hs
@@ -1,103 +1,113 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}
+
 module Types where
 
-import Data.List (intercalate)
+-- import Data.List (intercalate)
 import Data.List.Split (chunksOf, keepDelimsL, split, whenElt)
-import Data.Vector (Vector)
+-- import Data.Vector (Vector)
 import qualified Data.Vector as V
 
-type Row a = Vector a
+{-@ type NVector a N = {v : V.Vector a | vlen v == N} @-}
+{-@ type Btwn Lo Hi = {v:Int | Lo <= v && v < Hi} @-}
 
-data Grid a = Grid
-  { grid :: Vector (Row a),
-    dimension :: Int
+{-@ data Grid a = GR { dim  :: Nat
+                     , grid :: NVector (NVector a dim) dim} @-}
+data Grid a = GR
+  { dim :: Int,
+    grid :: V.Vector (V.Vector a)
   }
 
+-- TODO make NSquareList
+{-@ type NList a N = {xs:[a] | len xs == N} @-}
+
+-- {-@ assume chunksOf :: forall a. n:Nat -> x:{vs:[a] | (len vs) mod n == 0} -> {vs:[NList a n] | (len vs) != ((len x) // n)} @-}
+
+-- {-@ ignore initGrid @-}
+{-@ initGrid :: forall a. n:Nat -> NList a (n + n) -> Grid a @-}
 initGrid :: Int -> [a] -> Grid a
-initGrid d vs = Grid (V.fromList . map V.fromList $ chunksOf (d * d) vs) d
+initGrid n vs = GR n (V.fromList . map V.fromList $ chunksOf n vs)
 
-getRow :: Grid a -> Int -> Row a
-getRow (Grid g d) y =
-  if y >= d * d || y < 0
-    then error ("getRow: y=" ++ show y ++ " is out of dimension=" ++ show d)
-    else g V.! y
+-- {-@ getRow :: g:Grid a -> Btwn 0 (vlen (grid g)) -> V.Vector a @-}
+-- getRow :: Grid a -> Int -> V.Vector a
+-- getRow (GR g d) y = g V.! y
 
-putRow :: Grid a -> Row a -> Int -> Grid a
-putRow (Grid g d) newRow y =
-  if y >= d * d || y < 0
-    then error ("putRow: y=" ++ show y ++ " is out of dimension=" ++ show d)
-    else Grid (g V.// [(y, newRow)]) d
+-- putRow :: Grid a -> V.Vector a -> Int -> Grid a
+-- putRow (GR g d) newRow y =
+--   if y >= d * d || y < 0
+--     then error ("putRow: y=" ++ show y ++ " is out of dimension=" ++ show d)
+--     else GR (g V.// [(y, newRow)]) d
 
-updateRow :: Grid a -> (Row a -> Row a) -> Int -> Grid a
-updateRow gr upd y = putRow gr (upd oldRow) y
-  where
-    oldRow = getRow gr y
+-- updateRow :: Grid a -> (Row a -> Row a) -> Int -> Grid a
+-- updateRow gr upd y = putRow gr (upd oldRow) y
+--   where
+--     oldRow = getRow gr y
 
-putCell :: Grid a -> (Int, Int) -> a -> Grid a
-putCell gs@(Grid _ d) (x, y) v =
-  if x >= d * d || x < 0
-    then error "putCell out of bounds"
-    else updateRow gs (\row -> row V.// [(x, v)]) y
+-- putCell :: Grid a -> (Int, Int) -> a -> Grid a
+-- putCell gs@(GR _ d) (x, y) v =
+--   if x >= d * d || x < 0
+--     then error "putCell out of bounds"
+--     else updateRow gs (\row -> row V.// [(x, v)]) y
 
-getCell :: Grid a -> (Int, Int) -> a
-getCell gs@(Grid _ d) (x, y) =
-  if x >= d * d || x < 0
-    then error "getCell: x out of bounds"
-    else row V.! x
-  where
-    row = getRow gs y
+-- getCell :: Grid a -> (Int, Int) -> a
+-- getCell gs@(GR _ d) (x, y) =
+--   if x >= d * d || x < 0
+--     then error "getCell: x out of bounds"
+--     else row V.! x
+--   where
+--     row = getRow gs y
 
-printGrid :: (Show a) => Grid a -> String
-printGrid gr@(Grid _ d) = unwords . intercalate ["\n"] . chunksOf 3 . (split . keepDelimsL . whenElt) (== '\n') . unlines $ map printRow [0 .. (d * d) - 1]
-  where
-    printRow :: Int -> String
-    printRow _y = unwords $ map printSquare [0 .. d - 1]
-      where
-        y = checkDimension d _y
-        row = getRow gr y
-        printSquare :: Int -> String
-        printSquare n =
-          if n * d >= d * d || n < 0
-            then error ("trying to print square " ++ show n ++ " which is out of bounds (dimension: " ++ show d ++ ")")
-            else concatMap (\m -> show $ row V.! (n * d + m)) [0 .. d - 1]
+-- printGrid :: (Show a) => Grid a -> String
+-- printGrid gr@(GR _ d) = unwords . intercalate ["\n"] . chunksOf 3 . (split . keepDelimsL . whenElt) (== '\n') . unlines $ map printRow [0 .. (d * d) - 1]
+--   where
+--     printRow :: Int -> String
+--     printRow _y = unwords $ map printSquare [0 .. d - 1]
+--       where
+--         y = checkDimension d _y
+--         row = getRow gr y
+--         printSquare :: Int -> String
+--         printSquare n =
+--           if n * d >= d * d || n < 0
+--             then error ("trying to print square " ++ show n ++ " which is out of bounds (dimension: " ++ show d ++ ")")
+--             else concatMap (\m -> show $ row V.! (n * d + m)) [0 .. d - 1]
 
-checkDimension :: Int -> Int -> Int
-checkDimension d v =
-  if v >= d * d || v < 0
-    then error ("value " ++ show v ++ " out of dimension: " ++ show d)
-    else v
+-- checkDimension :: Int -> Int -> Int
+-- checkDimension d v =
+--   if v >= d * d || v < 0
+--     then error ("value " ++ show v ++ " out of dimension: " ++ show d)
+--     else v
 
-update :: Grid a -> Int -> Int -> a -> Grid a
-update (Grid g d) _x _y v = Grid newG d
-  where
-    x = checkDimension d _x
-    y = checkDimension d _y
-    row = g V.! y
-    newRow = row V.// [(x, v)]
-    newG = g V.// [(y, newRow)]
+-- update :: Grid a -> Int -> Int -> a -> Grid a
+-- update (GR g d) _x _y v = GR newG d
+--   where
+--     x = checkDimension d _x
+--     y = checkDimension d _y
+--     row = g V.! y
+--     newRow = row V.// [(x, v)]
+--     newG = g V.// [(y, newRow)]
 
-allCells :: Grid a -> (a -> Bool) -> Bool
-allCells (Grid g _) test = V.all id rows
-  where
-    rows :: Vector Bool
-    rows = V.map (V.all test) g
+-- allCells :: Grid a -> (a -> Bool) -> Bool
+-- allCells (GR g _) test = V.all id rows
+--   where
+--     rows :: Vector Bool
+--     rows = V.map (V.all test) g
 
-rowView :: Grid a -> Int -> Row a
-rowView = getRow
+-- rowView :: Grid a -> Int -> Row a
+-- rowView = getRow
 
-colView :: Grid a -> Int -> Row a
-colView gr@(Grid _ d) x = V.generate (d * d) (\y -> getCell gr (x, y))
+-- colView :: Grid a -> Int -> Row a
+-- colView gr@(GR _ d) x = V.generate (d * d) (\y -> getCell gr (x, y))
 
--- returns topleft coords of the square
-squareToCoords :: Grid a -> Int -> (Int, Int)
-squareToCoords (Grid _ d) m = ((m `mod` d) * d, (m `div` d) * d)
+-- -- returns topleft coords of the square
+-- squareToCoords :: Grid a -> Int -> (Int, Int)
+-- squareToCoords (GR _ d) m = ((m `mod` d) * d, (m `div` d) * d)
 
-squareView :: Grid a -> Int -> Row a
-squareView gr@(Grid _ d) n = V.concat (map (\y -> V.generate d (\x -> getCell gr (x + xoff, y + yoff))) [0 .. d - 1])
-  where
-    (xoff, yoff) = squareToCoords gr n
+-- squareView :: Grid a -> Int -> Row a
+-- squareView gr@(GR _ d) n = V.concat (map (\y -> V.generate d (\x -> getCell gr (x + xoff, y + yoff))) [0 .. d - 1])
+--   where
+--     (xoff, yoff) = squareToCoords gr n
 
-count :: (Eq a) => Vector a -> a -> Int
-count v a = V.foldl (\c b -> if a == b then c + 1 else c) 0 v
+-- count :: (Eq a) => Vector a -> a -> Int
+-- count v a = V.foldl (\c b -> if a == b then c + 1 else c) 0 v
 
-mapGrid :: (a -> b) -> Grid a -> Grid b
-mapGrid f (Grid g d) = Grid (V.map (V.map f) g) d
\ No newline at end of file
+-- mapGrid :: (a -> b) -> Grid a -> Grid b
+-- mapGrid f (GR g d) = GR (V.map (V.map f) g) d
\ No newline at end of file