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