diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+0.4.4.0
+=======
+- Bumped lower bound for foldl.
+
 0.4.3.0
 =======
 - Bumped base dependency.
diff --git a/pipes-transduce.cabal b/pipes-transduce.cabal
--- a/pipes-transduce.cabal
+++ b/pipes-transduce.cabal
@@ -1,5 +1,5 @@
 Name: pipes-transduce
-Version: 0.4.3.2
+Version: 0.4.4.0
 Cabal-Version: >=1.8.0.2
 Build-Type: Simple
 License: BSD3
@@ -28,7 +28,7 @@
       , text          >= 0.11.2.0          
       , transformers  >= 0.4.0.0           
       , bifunctors    >= 5.0               
-      , foldl         >= 1.2.0             
+      , foldl         >= 1.4.0             
       , free          >= 4.0               
       , pipes         == 4.*               
       , pipes-concurrency   >= 2.0.2       
@@ -59,7 +59,7 @@
       , free          >= 4
       , pipes         >= 4
       , doctest       >= 0.10.1
-      , foldl         >= 1.1 
+      , foldl         >= 1.4 
 
 test-suite tests
   type:           exitcode-stdio-1.0
diff --git a/src/Pipes/Transduce/Internal.hs b/src/Pipes/Transduce/Internal.hs
--- a/src/Pipes/Transduce/Internal.hs
+++ b/src/Pipes/Transduce/Internal.hs
@@ -349,7 +349,7 @@
 transduce1 (M _) (Fold1 (Pure x)) = 
     Fold1 (Pure x)
 transduce1 (M f) (Fold1 (Other s)) = (Fold1 (Other (case s of
-    TrueFold x -> TrueFold (Foldl.premapM f x)
+    TrueFold x -> TrueFold (Foldl.premapM (return . f) x)
     ExhaustiveCont x -> ExhaustiveCont (\producer -> x (producer >-> Pipes.map f))
     NonexhaustiveCont x -> NonexhaustiveCont (\producer -> x (producer >-> Pipes.map f)))))
 transduce1 (F _) (Fold1 (Pure x)) =