diff --git a/stm-containers.cabal b/stm-containers.cabal
--- a/stm-containers.cabal
+++ b/stm-containers.cabal
@@ -1,7 +1,7 @@
 name:
   stm-containers
 version:
-  0.2.8
+  0.2.9
 synopsis:
   Containers for STM
 description:
@@ -70,7 +70,7 @@
     loch-th == 0.2.*,
     placeholders == 0.1.*,
     -- general:
-    primitive == 0.5.*,
+    primitive >= 0.5 && < 0.7,
     base-prelude == 0.1.*
   default-extensions:
     Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFunctor, DeriveGeneric, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, ImpredicativeTypes, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators, UnboxedTuples
@@ -90,7 +90,7 @@
     WordArrayTests.Update
   build-depends:
     -- testing:
-    free >= 4.6 && < 4.10,
+    free >= 4.6 && < 5,
     mtl == 2.*,
     QuickCheck >= 2.6 && < 2.8,
     HTF == 0.12.*,
@@ -135,12 +135,11 @@
     list-t >= 0.2 && < 0.5,
     focus >= 0.1.2 && < 0.2,
     unordered-containers == 0.2.*,
-    free >= 4.6 && < 4.10,
+    free >= 4.6 && < 5,
     mtl == 2.*,
     hashable < 1.3,
     mtl-prelude < 3,
-    base-prelude == 0.1.*,
-    base >= 4.5 && < 4.8
+    base-prelude == 0.1.*
   default-extensions:
     Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFunctor, DeriveGeneric, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, ImpredicativeTypes, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators, UnboxedTuples
   default-language:
@@ -178,7 +177,7 @@
     placeholders == 0.1.*,
     -- general:
     base-prelude == 0.1.*,
-    base >= 4.5 && < 4.8
+    base
 
 
 benchmark concurrent-insertion-bench
@@ -209,10 +208,10 @@
     loch-th == 0.2.*,
     placeholders == 0.1.*,
     -- general:
-    free >= 4.5 && < 4.10,
+    free >= 4.5 && < 5,
     async == 2.0.*,
     base-prelude == 0.1.*,
-    base >= 4.5 && < 4.8
+    base
 
 
 benchmark concurrent-transactions-bench
@@ -245,8 +244,8 @@
     placeholders == 0.1.*,
     -- general:
     mtl == 2.*,
-    free >= 4.5 && < 4.10,
+    free >= 4.5 && < 5,
     async == 2.0.*,
     mtl-prelude < 3,
     base-prelude == 0.1.*,
-    base >= 4.5 && < 4.8
+    base