diff --git a/build-constraints.yaml b/build-constraints.yaml
index 8e0b270d..9205120a 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2009,7 +2009,7 @@ packages:
         - hamilton
         - hmatrix-backprop
         - hmatrix-vector-sized
-        - lens-typelevel
+        - lens-typelevel < 0 # GHC 8.8 via ghc-typelits-presburger (konn/equational-reasoning-in-haskell#4)
         - list-witnesses
         - nonempty-containers
         - one-liner-instances
@@ -5237,7 +5237,6 @@ packages:
         - pcre-heavy < 0 # via string-conversions
         - secp256k1-haskell < 0 # via string-conversions
         - bv-little < 0 # via text-show
-        - nonempty-containers < 0 # via these
         - pipes-fluid < 0 # via these
         - quickcheck-state-machine < 0 # via tree-diff
         - users-postgresql-simple < 0 # via users
@@ -5538,7 +5537,6 @@ packages:
         - systemd < 0 # socketToFd is ambiguous
         - cassava-records < 0 # MonadFail
         - haskell-spacegoo < 0 # MonadFail
-        - lens-typelevel < 0 # Wrong category of family instance (wat)
         - wai-predicates < 0 # MonadFail
         - sbv < 0 # MonadFail
         - crypto-pubkey-openssh < 0 # MonadFail