diff --git a/internal/Data/Boltzmann/System/TH.hs b/internal/Data/Boltzmann/System/TH.hs
index 27c5f38..db3342f 100644
--- a/internal/Data/Boltzmann/System/TH.hs
+++ b/internal/Data/Boltzmann/System/TH.hs
@@ -281,7 +281,7 @@ mkSamplerExp typ = do
   caseExp <- mkCaseConstr typ
 
   ub' <- lift $ mkPat "ub"
-  ub <- lift $ pure $ ConP 'MkUpperBound [BangP ub']
+  ub <- lift $ pure $ ConP 'MkUpperBound [] [BangP ub']
   exp <- lift [|$(pure choiceExp) >>= ($(pure caseExp))|]
 
   pure $
diff --git a/stack.yaml b/stack.yaml
index 5830e4f..fddd8b7 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,21 +1,7 @@
-resolver:
-  url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/16.yaml
-
-compiler: ghc-9.0.2
-
-setup-info:
-  ghc:
-    linux64-tinfo6:
-      9.0.2:
-        url: "https://downloads.haskell.org/ghc/9.0.2/ghc-9.0.2a-x86_64-fedora27-linux.tar.xz"
-
+resolver: lts-20.11
 packages:
 - .
 
 extra-deps:
-- criterion-1.5.12.0
-- testing-feat-1.1.0.0
 - git: https://github.com/maciej-bendkowski/paganini-hs
-  commit: f6f4f8d26c30544d17eab63583d4ff5e9158d2d9
-- git: https://github.com/OctopiChalmers/BinderAnn
-  commit: 8f082b23ebd4e79e86e934f41ddfcba59652fadd
+  commit: 214013fdc8aa274d2e92d50484bc0f840bf77f18
diff --git a/stack.yaml.lock b/stack.yaml.lock
index df5de0b..05b6db3 100644
--- a/stack.yaml.lock
+++ b/stack.yaml.lock
@@ -5,45 +5,19 @@
 
 packages:
 - completed:
-    pantry-tree:
-      sha256: 92034e3e490c5fe0eab10277f6e35534b37dc0962347025630380c7d37d99ca1
-      size: 2323
-    hackage: criterion-1.5.12.0@sha256:f9c8c0cff7d6796702849258b22df103cde5baa5ee1f085b6b59f37074ec303f,5273
-  original:
-    hackage: criterion-1.5.12.0
-- completed:
-    pantry-tree:
-      sha256: 444f3c68a4f4fa1488fbbe9e8d9bbcc5f226b12a5027ee93683d5f95bf0ece28
-      size: 790
-    hackage: testing-feat-1.1.0.0@sha256:7c7629c5014edf06aefbf30a061d1ee64c6ee15f438d868e34749fb22208ab0b,2466
-  original:
-    hackage: testing-feat-1.1.0.0
-- completed:
+    commit: 214013fdc8aa274d2e92d50484bc0f840bf77f18
+    git: https://github.com/maciej-bendkowski/paganini-hs
     name: paganini-hs
     pantry-tree:
-      sha256: 0216477ed9bf54790ecfae68d9d28df7e541e03fac1fe600ac7caff72d210cee
-      size: 947
-    commit: f6f4f8d26c30544d17eab63583d4ff5e9158d2d9
-    git: https://github.com/maciej-bendkowski/paganini-hs
-    version: 0.4.0.0
+      sha256: 9450d27c60084eca27044b06e7f7b160a0d23186f9623ff57ae0ecff26cfefef
+      size: 946
+    version: 0.5.0.0
   original:
-    commit: f6f4f8d26c30544d17eab63583d4ff5e9158d2d9
+    commit: 214013fdc8aa274d2e92d50484bc0f840bf77f18
     git: https://github.com/maciej-bendkowski/paganini-hs
-- completed:
-    name: BinderAnn
-    pantry-tree:
-      sha256: 2e2b0b9828f0bd3698344940c4da689947b4530ae75ccc51b03c77db171244e3
-      size: 1631
-    commit: 8f082b23ebd4e79e86e934f41ddfcba59652fadd
-    git: https://github.com/OctopiChalmers/BinderAnn
-    version: 0.1.0.0
-  original:
-    commit: 8f082b23ebd4e79e86e934f41ddfcba59652fadd
-    git: https://github.com/OctopiChalmers/BinderAnn
 snapshots:
 - completed:
-    sha256: cdead65fca0323144b346c94286186f4969bf85594d649c49c7557295675d8a5
-    size: 586286
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/16.yaml
-  original:
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/16.yaml
+    sha256: adbc602422dde10cc330175da7de8609e70afc41449a7e2d6e8b1827aa0e5008
+    size: 649342
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/11.yaml
+  original: lts-20.11