diff --git a/build-constraints.yaml b/build-constraints.yaml
index 7d955d00..17416a5b 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -7839,6 +7839,8 @@ packages:
         - microlens-pro < 0.2.0.5
         - microlens-th < 0.4.3.18
         - parameterized-utils < 2.2.0.0
+        - what4 < 1.8
+        - what4-domains < 0
 
         # https://github.com/commercialhaskell/stackage/issues/8089
         - megaparsec < 9.8