@@ -510,8 +510,9 @@ loops f tsrt hsrt = do
510 return x `f` (if x < 3 then loopTail (x + 1) else empty)
510 return x `f` (if x < 3 then loopTail (x + 1) else empty)
512bindAndComposeSimple
512bindAndComposeSimple
513− :: (Alternative (s IO), Monad (s IO), Monoid (s IO Int)) => (forall a. s IO a -> IO [a])
513+ :: (Streaming t, Alternative (t IO), Monad (t IO))
514+ => (forall a. t IO a -> IO [a])
514− -> (s IO Int -> s IO Int -> s IO Int)
515+ -> (t IO Int -> t IO Int -> t IO Int)
516bindAndComposeSimple tl g = do
517bindAndComposeSimple tl g = do
517 it "Compose many (right fold) with bind" $
518 it "Compose many (right fold) with bind" $