diff --git a/lib/haskell/anyall/stack.yaml b/lib/haskell/anyall/stack.yaml
index 2995c9a1b..8fa257529 100644
--- a/lib/haskell/anyall/stack.yaml
+++ b/lib/haskell/anyall/stack.yaml
@@ -17,7 +17,7 @@
 #
 # resolver: ./custom-snapshot.yaml
 # resolver: https://example.com/snapshots/2018-01-01.yaml
-resolver: lts-22.19
+resolver: lts-22.20
 # User packages to be built.
 # Various formats can be used as shown in the example below.
 #
diff --git a/lib/haskell/anyall/stack.yaml.lock b/lib/haskell/anyall/stack.yaml.lock
index f8f20981a..535381a9a 100644
--- a/lib/haskell/anyall/stack.yaml.lock
+++ b/lib/haskell/anyall/stack.yaml.lock
@@ -6,7 +6,7 @@
 packages: []
 snapshots:
 - completed:
-    sha256: e5cac927cf7ccbd52aa41476baa68b88c564ee6ddc3bc573dbf4210069287fe7
+    sha256: 4a0e5e187fbef423f9c60072bfb1dd56f2a01a07a2667eb1469bd79073cfceaf
     size: 713340
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/19.yaml
-  original: lts-22.19
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/20.yaml
+  original: lts-22.20
diff --git a/lib/haskell/explainable/stack.yaml b/lib/haskell/explainable/stack.yaml
index b9f568dfe..9bfef559a 100644
--- a/lib/haskell/explainable/stack.yaml
+++ b/lib/haskell/explainable/stack.yaml
@@ -17,7 +17,7 @@
 #
 # resolver: ./custom-snapshot.yaml
 # resolver: https://example.com/snapshots/2018-01-01.yaml
-resolver: lts-22.19
+resolver: lts-22.20
 
 # User packages to be built.
 # Various formats can be used as shown in the example below.
diff --git a/lib/haskell/explainable/stack.yaml.lock b/lib/haskell/explainable/stack.yaml.lock
index f8f20981a..535381a9a 100644
--- a/lib/haskell/explainable/stack.yaml.lock
+++ b/lib/haskell/explainable/stack.yaml.lock
@@ -6,7 +6,7 @@
 packages: []
 snapshots:
 - completed:
-    sha256: e5cac927cf7ccbd52aa41476baa68b88c564ee6ddc3bc573dbf4210069287fe7
+    sha256: 4a0e5e187fbef423f9c60072bfb1dd56f2a01a07a2667eb1469bd79073cfceaf
     size: 713340
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/19.yaml
-  original: lts-22.19
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/20.yaml
+  original: lts-22.20
diff --git a/lib/haskell/extract/stack.yaml b/lib/haskell/extract/stack.yaml
index b3bc68b14..14154ff42 100644
--- a/lib/haskell/extract/stack.yaml
+++ b/lib/haskell/extract/stack.yaml
@@ -17,7 +17,7 @@
 #
 # resolver: ./custom-snapshot.yaml
 # resolver: https://example.com/snapshots/2018-01-01.yaml
-resolver: lts-22.19
+resolver: lts-22.20
 
 # User packages to be built.
 # Various formats can be used as shown in the example below.
diff --git a/lib/haskell/extract/stack.yaml.lock b/lib/haskell/extract/stack.yaml.lock
index 4a21b32e1..b004f8c63 100644
--- a/lib/haskell/extract/stack.yaml.lock
+++ b/lib/haskell/extract/stack.yaml.lock
@@ -13,7 +13,7 @@ packages:
     hackage: orgmode-0.1.0.1
 snapshots:
 - completed:
-    sha256: e5cac927cf7ccbd52aa41476baa68b88c564ee6ddc3bc573dbf4210069287fe7
+    sha256: 4a0e5e187fbef423f9c60072bfb1dd56f2a01a07a2667eb1469bd79073cfceaf
     size: 713340
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/19.yaml
-  original: lts-22.19
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/20.yaml
+  original: lts-22.20
diff --git a/lib/haskell/natural4/stack.yaml b/lib/haskell/natural4/stack.yaml
index 61bef0b2e..3e87a2a2f 100644
--- a/lib/haskell/natural4/stack.yaml
+++ b/lib/haskell/natural4/stack.yaml
@@ -9,7 +9,7 @@
 # to be used for project dependencies. For example:
 #
 
-resolver: lts-22.19
+resolver: lts-22.20
 
 packages:
 - .
@@ -32,7 +32,7 @@ extra-deps:
 # ../../../../baby-l4
 # and then you would comment out this thing which can be updated less frequently as main receives pull requests.
 - github: smucclaw/baby-l4
-  commit: ee7a71953070960e9f104e8900a48b5233d8b9a0
+  commit: 6241eead2a7e99fbdf8d6a4c72135be371499c75
 
 - github: smucclaw/gf-core
   commit: f85fbbaf41e804f1566cd914ef3986dda29978b3
diff --git a/lib/haskell/natural4/stack.yaml.lock b/lib/haskell/natural4/stack.yaml.lock
index c0447ff06..96f670ddd 100644
--- a/lib/haskell/natural4/stack.yaml.lock
+++ b/lib/haskell/natural4/stack.yaml.lock
@@ -7,14 +7,14 @@ packages:
 - completed:
     name: baby-l4
     pantry-tree:
-      sha256: ffa7fcdd0ef234d611634d8f10c8aa7c56781eb418bcde8d2c99301c92f73dee
+      sha256: dc7189c0671a8999d50a24df712b6d3f9fe178471072d344958f3afcbb6f5bde
       size: 12538
-    sha256: 4ebfaef07d5d8d70e404b28f8ed5701c6e895e3bdc7cf085ca7b112de4a8ae8b
-    size: 3188831
-    url: https://github.com/smucclaw/baby-l4/archive/ee7a71953070960e9f104e8900a48b5233d8b9a0.tar.gz
+    sha256: 8031057c894f1ff56d15c1788be130a29d4abb440baaf87780556f086c9af78f
+    size: 3188826
+    url: https://github.com/smucclaw/baby-l4/archive/6241eead2a7e99fbdf8d6a4c72135be371499c75.tar.gz
     version: 0.1.2.1
   original:
-    url: https://github.com/smucclaw/baby-l4/archive/ee7a71953070960e9f104e8900a48b5233d8b9a0.tar.gz
+    url: https://github.com/smucclaw/baby-l4/archive/6241eead2a7e99fbdf8d6a4c72135be371499c75.tar.gz
 - completed:
     name: gf
     pantry-tree:
@@ -92,7 +92,7 @@ packages:
     hackage: monadic-recursion-schemes-0.1.13.2
 snapshots:
 - completed:
-    sha256: e5cac927cf7ccbd52aa41476baa68b88c564ee6ddc3bc573dbf4210069287fe7
+    sha256: 4a0e5e187fbef423f9c60072bfb1dd56f2a01a07a2667eb1469bd79073cfceaf
     size: 713340
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/19.yaml
-  original: lts-22.19
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/20.yaml
+  original: lts-22.20