diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4d25db6b0d..aa0c926f83 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -29,7 +29,7 @@ env:
   CAIRO_VM_VERSION: 06e8ddbfa14eef85f56c4d7b7631c17c9b0a248e
   RISC0_VM_VERSION: v1.0.1
   JUST_ARGS: runtimeCcArg=$CC runtimeLibtoolArg=$LIBTOOL
-  STACK_BUILD_ARGS: --pedantic -j4 --ghc-options=-j --stack-yaml=stack.yaml
+  STACK_BUILD_ARGS: --pedantic -j4 --ghc-options=-j
 
 jobs:
   pre-commit:
@@ -77,42 +77,6 @@ jobs:
   build-and-test-linux:
     runs-on: ubuntu-22.04
     steps:
-      - name: Free disk space
-        run: |
-          df -h
-          echo "/usr/local"
-          du -hsc /usr/local/*
-          sudo rm -rf \
-            /usr/local/aws-sam-cil \
-            /usr/local/julia* || :
-          echo "end /usr/local"
-          echo "/usr/local/lib"
-          du -hsc /usr/local/lib/*
-          sudo rm -rf \
-            /usr/local/lib/android \
-            /usr/local/lib/heroku \
-            /usr/local/lib/node_modules || :
-          echo "end /usr/local/lib"
-          echo "/usr/local/share"
-          du -hsc /usr/local/share/*
-          sudo rm -rf \
-            /usr/local/share/chromium \
-            /usr/local/share/powershell || :
-          echo "end /usr/local/share"
-          echo "/opt/hostedtoolcache/"
-          du -hsc /opt/hostedtoolcache/*
-          sudo rm -rf \
-            /opt/hostedtoolcache/CodeQL \
-            /opt/hostedtoolcache/go \
-            /opt/hostedtoolcache/PyPy \
-            /opt/hostedtoolcache/node || :
-          echo "end /opt/hostedtoolcache/*"
-          sudo apt purge -y \
-            firefox \
-            google-chrome-stable \
-            microsoft-edge-stable
-          df -h
-
       - uses: extractions/setup-just@v2
 
       - name: Checkout our repository
diff --git a/package.yaml b/package.yaml
index d981343923..2237be6719 100644
--- a/package.yaml
+++ b/package.yaml
@@ -12,7 +12,7 @@ author:
     Lukasz Czajka,
     Github's contributors,
   ]
-tested-with: ghc == 9.10.1
+tested-with: ghc == 9.8.2
 homepage: https://juvix.org
 bug-reports: https://github.com/anoma/juvix/issues
 description: The Juvix compiler
@@ -48,7 +48,7 @@ dependencies:
   - aeson-better-errors == 0.9.*
   - aeson == 2.2.*
   - ansi-terminal == 1.1.*
-  - base == 4.20.*
+  - base == 4.19.*
   - base16-bytestring == 1.0.*
   - bitvec == 1.1.*
   - blaze-html == 0.9.*
@@ -63,14 +63,14 @@ dependencies:
   - edit-distance == 0.2.*
   - effectful == 2.3.*
   - effectful-core == 2.3.*
-  - effectful-th == 1.0.0.2
+  - effectful-th == 1.0.*
   - exceptions == 0.10.*
   - extra == 1.7.*
   - file-embed == 0.0.*
   - filelock == 0.1.*
   - filepath == 1.4.*
   - flatparse == 0.5.*
-  - ghc == 9.10.1
+  - ghc == 9.8.2
   - githash == 0.1.*
   - hashable == 1.4.*
   - language-c == 0.9.*
@@ -95,7 +95,7 @@ dependencies:
   - stm == 2.5.*
   - Stream == 0.4.*
   - string-interpolate == 0.3.*
-  - template-haskell == 2.22.*
+  - template-haskell == 2.21.*
   - temporary == 1.3.*
   - text == 2.1.*
   - th-utilities == 0.2.*
diff --git a/src/Juvix/Data/Effect/Cache.hs b/src/Juvix/Data/Effect/Cache.hs
index 70fea93043..cfa3e58d34 100644
--- a/src/Juvix/Data/Effect/Cache.hs
+++ b/src/Juvix/Data/Effect/Cache.hs
@@ -1,4 +1,3 @@
-{-# OPTIONS_GHC -Wno-redundant-constraints #-}
 {-# OPTIONS_GHC -Wno-unused-type-patterns #-}
 
 module Juvix.Data.Effect.Cache
diff --git a/src/Juvix/Prelude.hs b/src/Juvix/Prelude.hs
index cfd1791584..58535957ee 100644
--- a/src/Juvix/Prelude.hs
+++ b/src/Juvix/Prelude.hs
@@ -11,7 +11,7 @@ module Juvix.Prelude
 where
 
 import Juvix.Data
-import Juvix.Prelude.Base hiding (List)
+import Juvix.Prelude.Base
 import Juvix.Prelude.Generic
 import Juvix.Prelude.Lens
 import Juvix.Prelude.Path
diff --git a/stack.yaml b/stack.yaml
index cf9fcc6ca0..4b65f7e81d 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,46 +1,14 @@
 ghc-options:
   "$locals": -optP-Wno-nonportable-include-path
 resolver: nightly-2024-05-31
-compiler: ghc-9.10.1
-compiler-check: match-exact
 extra-deps:
   - git: https://github.com/haskell-effectful/effectful.git
-    commit: 2a8f0b3a0536c578ee1ff83311863a27e9d3e2e1
+    commit: 2037be9a4f4e8f8fd280d9359b1bc7feff9b29b9
     subdirs:
       - effectful-th
   - git: https://github.com/Vekhir/aeson-better-errors.git
     commit: 1ec49ab7d1472046b680b5a64ae2930515b47714
-  - Cabal-syntax-3.10.3.0@sha256:c2ca36499bf9365726968b1e11a757e6d846c47cdf0c2c26a003698fd3c300fe,7431
-  - directory-1.3.8.5@sha256:fbeec9ec346e5272167f63dcb86af513b457a7b9fc36dc818e4c7b81608d612b,3166
-  - filepath-1.4.300.2@sha256:345cbb1afe414a09e47737e4d14cbd51891a734e67c0ef3d77a1439518bb81e8,5900
-  - haskeline-0.8.2.1@sha256:40096f75591b5391aa99c5ed87148da0e9288ca4be302dd9e5c4326f814089ba,6117
-  - process-1.6.21.0@sha256:685bc68759da31b5f152092fe664e1644e84f6dc0ae7a6c143e8564a1d6dafe8,2644
-  - unix-2.8.5.1@sha256:3f702a252a313a7bcb56e3908a14e7f9f1b40e41b7bdc8ae8a9605a1a8686f06,9808
-  - containers-0.6.8@sha256:bb2bec1bbc6b39a7c97cd95e056a5698ec45beb5d8feb6caae12af64e4bd823c,2670
-  - binary-0.8.9.2@sha256:03381e511429c44d13990c6d76281c4fc2468371cede4fe684b0c98d9b7d5f5a,6611
-  - parsec-3.1.17.0@sha256:8407cbd428d7f640a0fff8891bd2f7aca13cebe70a5e654856f8abec9a648b56,5149
-  - text-2.1.1@sha256:78c3fb91055d0607a80453327f087b9dc82168d41d0dca3ff410d21033b5e87d,10653
-  - th-abstraction-0.6.0.0@sha256:313760d630851a0eba6bdcb1a1eb543c4c9c583072d704067fa3248a5252a8ae,2303
-  - bytestring-0.12.1.0@sha256:98e79e1c97117143e4012983509ec95f7e5e4f6adff6914d07812a39f83404b9,9473
-  - exceptions-0.10.8@sha256:c31fd9b35d36196cbb14ffa5fca4de49868fd39acfeddd601fb77e742554aa67,2892
-  - template-haskell-2.22.0.0@sha256:463e87c76794859c861c95517329483282af8b079c02084755cc4bd1ae41d5ae,2151
-  - th-desugar-1.17
-  - polysemy-1.9.2.0
-  - singletons-th-3.4
-  - singletons-base-3.4
-  - lens-5.3.2
 allow-newer: true
 allow-newer-deps:
   - aeson-better-errors
   - effectful-th
-  - juvix
-  - cborg
-  - palette
-  - serialise
-  - string-interpolate
-  - tasty-hedgehog
-  - unicode-data
-  - unicode-transforms
-  - unliftio-core
-  - uuid-types
-  - versions