diff --git a/build-constraints.yaml b/build-constraints.yaml
index f7d6b9a6..dd930f1e 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3671,7 +3671,7 @@ packages:
 
     "Ashley Yakeley <ashley@semantic.org> @AshleyYakeley":
         - countable
-        - witness < 0 # ghc-9.10 https://github.com/AshleyYakeley/witness/issues/2
+        - witness
         - open-witness
         - type-rig
         - monadology
@@ -7627,7 +7627,6 @@ packages:
         - monad-skeleton < 0 # tried monad-skeleton-0.2, but its *library* requires base >=4.9 && < 4.17 and the snapshot contains base-4.20.0.0
         - monad-unlift-ref < 0 # tried monad-unlift-ref-0.2.1, but its *library* requires the disabled package: monad-unlift
         - monadic-arrays < 0 # tried monadic-arrays-0.2.2, but its *library* requires transformers >=0.2.0 && < 0.6 and the snapshot contains transformers-0.6.1.1
-        - monadology < 0 # tried monadology-0.3, but its *library* requires the disabled package: witness
         - mono-traversable-keys < 0 # tried mono-traversable-keys-0.3.0, but its *library* requires containers >=0.3 && < 0.7 and the snapshot contains containers-0.7
         - monoidal-containers < 0 # tried monoidal-containers-0.6.5.0, but its *library* requires hashable >=1.2 && < 1.5 and the snapshot contains hashable-1.5.0.0
         - monomer < 0 # tried monomer-1.6.0.1, but its *executable* requires websockets >=0.12 && < 0.13 and the snapshot contains websockets-0.13.0.0
@@ -7721,7 +7720,6 @@ packages:
         - oblivious-transfer < 0 # tried oblivious-transfer-0.1.0, but its *library* requires the disabled package: protolude
         - ochintin-daicho < 0 # tried ochintin-daicho-0.3.4.2, but its *library* requires text >=1.2 && < 1.3 and the snapshot contains text-2.1.1
         - oeis < 0 # tried oeis-0.3.10, but its *library* requires HTTP >=4000.2 && < 4000.4 and the snapshot contains HTTP-4000.4.1
-        - open-witness < 0 # tried open-witness-0.6, but its *library* requires the disabled package: witness
         - openapi3 < 0 # tried openapi3-3.2.4, but its *library* requires base >=4.11.1.0 && < 4.20 and the snapshot contains base-4.20.0.0
         - openapi3 < 0 # tried openapi3-3.2.4, but its *library* requires base-compat-batteries >=0.11.1 && < 0.14 and the snapshot contains base-compat-batteries-0.14.1
         - openapi3 < 0 # tried openapi3-3.2.4, but its *library* requires hashable >=1.2.7.0 && < 1.5 and the snapshot contains hashable-1.5.0.0