@@ -1163,10 +1163,10 @@ iterateSmapMWith combine f initial stream =
1164{-# INLINE iterateMapLeftsWith #-}
1164{-# INLINE iterateMapLeftsWith #-}
1165iterateMapLeftsWith
1165iterateMapLeftsWith
1166− :: IsStream t
1166+ :: (IsStream t, b ~ Either a c)
1167− => (t m (Either a b) -> t m (Either a b) -> t m (Either a b))
1167+ => (t m b -> t m b -> t m b)
1168− -> (a -> t m (Either a b))
1168+ -> (a -> t m b)
1169− -> t m (Either a b)
1169+ -> t m b
1170− -> t m (Either a b)
1170+ -> t m b
1171iterateMapLeftsWith combine f =
1171iterateMapLeftsWith combine f =
1172 iterateMapWith combine (either f (const IsStream.nil))
1172 iterateMapWith combine (either f (const IsStream.nil))