diff --git a/typed-protocols-cborg/typed-protocols-cborg.cabal b/typed-protocols-cborg/typed-protocols-cborg.cabal
index 710826e..a89fe13 100644
--- a/typed-protocols-cborg/typed-protocols-cborg.cabal
+++ b/typed-protocols-cborg/typed-protocols-cborg.cabal
@@ -1,6 +1,6 @@
 cabal-version:       3.4
 name:                typed-protocols-cborg
-version:             0.3.0.0
+version:             0.4.0.0
 synopsis:            CBOR codecs for typed-protocols
 -- description:
 license:             Apache-2.0
@@ -23,8 +23,8 @@ library
                      cborg            >=0.2.1 && <0.3,
                      singletons,        
 
-                     io-classes      ^>=1.5,
-                     typed-protocols ^>=0.3
+                     io-classes:io-classes ^>=1.7,
+                     typed-protocols ^>=0.4
 
   hs-source-dirs:    src
   default-language:  Haskell2010
diff --git a/typed-protocols-examples/typed-protocols-examples.cabal b/typed-protocols-examples/typed-protocols-examples.cabal
index 6db9449..15d530e 100644
--- a/typed-protocols-examples/typed-protocols-examples.cabal
+++ b/typed-protocols-examples/typed-protocols-examples.cabal
@@ -1,6 +1,6 @@
 cabal-version:       3.4
 name:                typed-protocols-examples
-version:             0.5.0.0
+version:             0.6.0.0
 synopsis:            Examples and tests for the typed-protocols framework
 -- description:
 license:             Apache-2.0
@@ -59,11 +59,10 @@ library
                      serialise,
                      singletons,
                      contra-tracer,
-                     io-classes,
-                     si-timers,
+                     io-classes:{io-classes,si-timers},
                      network,
                      time,
-                     typed-protocols ^>= 0.3,
+                     typed-protocols ^>= 0.4,
                      typed-protocols-cborg,
                      typed-protocols-stateful
 
@@ -90,9 +89,8 @@ test-suite test
                    , typed-protocols
                    , typed-protocols-cborg
                    , typed-protocols-examples
-                   , io-classes
+                   , io-classes:{io-classes,si-timers}
                    , io-sim
-                   , si-timers
                    , QuickCheck
                    , tasty
                    , tasty-quickcheck
diff --git a/typed-protocols-stateful-cborg/typed-protocols-stateful-cborg.cabal b/typed-protocols-stateful-cborg/typed-protocols-stateful-cborg.cabal
index 9e6baed..6a3cbf5 100644
--- a/typed-protocols-stateful-cborg/typed-protocols-stateful-cborg.cabal
+++ b/typed-protocols-stateful-cborg/typed-protocols-stateful-cborg.cabal
@@ -1,6 +1,6 @@
 cabal-version:       3.4
 name:                typed-protocols-stateful-cborg
-version:             0.3.0.0
+version:             0.4.0.0
 synopsis:            CBOR codecs for typed-protocols
 -- description:
 license:             Apache-2.0
@@ -26,7 +26,7 @@ library
                      singletons,       
 
                      io-classes,
-                     typed-protocols ^>= 0.3,
+                     typed-protocols ^>= 0.4,
                      typed-protocols-cborg,
                      typed-protocols-stateful
 
diff --git a/typed-protocols-stateful/typed-protocols-stateful.cabal b/typed-protocols-stateful/typed-protocols-stateful.cabal
index 9c2e4fb..fb90743 100644
--- a/typed-protocols-stateful/typed-protocols-stateful.cabal
+++ b/typed-protocols-stateful/typed-protocols-stateful.cabal
@@ -1,6 +1,6 @@
 cabal-version:       3.4
 name:                typed-protocols-stateful
-version:             0.3.0.0
+version:             0.4.0.0
 synopsis:            A framework for strongly typed protocols
 -- description:
 license:             Apache-2.0
@@ -36,7 +36,7 @@ library
                       contra-tracer,
                       singletons >= 3.0,
                       io-classes,
-                      typed-protocols ^>= 0.3
+                      typed-protocols ^>= 0.4
 
   hs-source-dirs:     src
   default-language:   Haskell2010
diff --git a/typed-protocols/typed-protocols.cabal b/typed-protocols/typed-protocols.cabal
index 2e6fdcb..a04075d 100644
--- a/typed-protocols/typed-protocols.cabal
+++ b/typed-protocols/typed-protocols.cabal
@@ -1,6 +1,6 @@
 cabal-version:       3.4
 name:                typed-protocols
-version:             0.3.0.0
+version:             0.4.0.0
 synopsis:            A framework for strongly typed protocols
 -- description:
 license:             Apache-2.0
@@ -35,7 +35,7 @@ library
                    , TypeOperators
                    , BangPatterns
   build-depends:     base,
-                     io-classes >= 1.0 && < 1.6,
+                     io-classes:io-classes ^>= 1.7,
                      singletons >= 3.0
 
   hs-source-dirs:    src