diff --git a/build-constraints.yaml b/build-constraints.yaml
index c7244d74..ca85f5d1 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -5786,6 +5786,7 @@ packages:
         - ptr
         - pureMD5
         - puresat
+        - quickcheck-effectful
         - quickcheck-instances
         - quickcheck-io
         - quickcheck-simple