diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+# 0.5.1.0
+
+- Removed upper bounds in dependencies.
+
 # 0.5.0.0
 
 - Before, splitters always found at least one group, even for empty streams.
diff --git a/foldl-transduce.cabal b/foldl-transduce.cabal
--- a/foldl-transduce.cabal
+++ b/foldl-transduce.cabal
@@ -1,5 +1,5 @@
 Name: foldl-transduce
-Version: 0.5.0.0
+Version: 0.5.1.0
 Cabal-Version: >=1.8.0.2
 Build-Type: Simple
 License: BSD3
@@ -28,13 +28,13 @@
         text          >= 0.11.2.0          ,
         transformers  >= 0.2.0.0           ,
         containers                         ,
-        bifunctors    == 5.*               ,
-        profunctors   == 5.*               ,
+        bifunctors    >= 5                 ,
+        profunctors   >= 5                 ,
         semigroups    >= 0.18              ,
         semigroupoids >= 5.0               ,
         foldl         >= 1.1.5             ,
-        comonad       == 4.*               ,
-        free          == 4.*               ,         
+        comonad       >= 4                 ,
+        free          >= 4                 ,         
         void          >= 0.6               ,
         split         >= 0.2.2             ,
         monoid-subclasses == 0.4.*         
@@ -52,7 +52,7 @@
 
   build-depends:
         base          >= 4.4 && < 5
-      , free          == 4.*
+      , free          >= 4
       , doctest       >= 0.10.1
 
 test-suite tests
@@ -66,7 +66,7 @@
         tasty >= 0.10.1.1   ,
         tasty-hunit >= 0.9.2,
         tasty-quickcheck >= 0.8.3.2, 
-        monoid-subclasses == 0.4.*,
+        monoid-subclasses >= 0.4,
         split         >= 0.2.2,
         foldl               ,
         foldl-transduce
diff --git a/src/Control/Foldl/Transduce.hs b/src/Control/Foldl/Transduce.hs
--- a/src/Control/Foldl/Transduce.hs
+++ b/src/Control/Foldl/Transduce.hs
@@ -337,7 +337,7 @@
 {-| Apply a 'Transducer' to a 'Fold', discarding the return value of the
     'Transducer'.		
 
->>> L.fold (transduce (Transducer (\_ i -> ((),[i],[])) () (\_ -> ('r',[],[]))) L.list) [1..7]
+>>> L.fold (transduce (Transducer (\_ i -> ((),[i],[])) () (\_ -> ((),[],[]))) L.list) [1..7]
 [1,2,3,4,5,6,7]
 -}
 transduce :: ToTransducer t => t i o () -> Transduction i o 
@@ -1073,7 +1073,7 @@
 {-| Puts the last element of the input stream (if it exists) in a separate
     group.
 
->>> L.fold (bisect splitLast (reify id) ignore L.list) [1..5]
+>>> L.fold (bisect (void splitLast) (reify id) ignore L.list) [1..5]
 [1,2,3,4]
 -}
 splitLast :: Transducer a a (Maybe a)
diff --git a/tests/doctests.hs b/tests/doctests.hs
--- a/tests/doctests.hs
+++ b/tests/doctests.hs
@@ -6,6 +6,6 @@
 main = doctest 
     [
         "src/Control/Foldl/Transduce.hs",
-        "src/Control/Foldl/Transduce/Textual.hs",
+        "src/Control/Foldl/Transduce/ByteString.hs",
         "src/Control/Foldl/Transduce/Text.hs"
     ]
diff --git a/tests/tests.hs b/tests/tests.hs
--- a/tests/tests.hs
+++ b/tests/tests.hs
@@ -238,22 +238,6 @@
             testCaseEq "big chunk with multiple seps"
                 (map T.pack ["1x","aa","bb","cc1x","dd"])
                 (sectionsUnderTest (map T.pack (cycle ["12"])) (map T.pack ["1","x12aa12bb12cc1","x1","2dd"]))
-        ],
-        testGroup "quiesceWith"  
-        [
-            testCase "collectAfterFailure" (do
-               let
-                  foldthatfails = 
-                      transduceM utf8E (L.generalize L.list)
-                  inputs = 
-                      map fromString ["invalid \xc3\x28 sequence","xxx","zzz","___"]
-                  fallbackfold =
-                      bisectM (chunkedSplitAt 4) (reifyM id) ignore (L.generalize L.list)
-               r <- L.foldM (quiesceWith fallbackfold foldthatfails) inputs 
-               assertEqual 
-                   mempty 
-                   (Left ('C',4))
-                   (first (bimap (head . show) (SFM.length . mconcat)) r))
-        ]   
+        ]
     ]