@@ -36,7 +36,7 @@ i.e. phase 0, 1 and 2. We have defined them as follows in `inline.h`:
3636unfoldr :: (Monad m, IsStream t) => (b -> Maybe (a, b)) -> b -> t m a
3737unfoldr step seed = fromStreamS (S.unfoldr step seed)
3838{-# RULES "unfoldr fallback to StreamK" [1]
39− forall a b. S.toStreamK (S.unfoldr a b) = K.unfoldr a b #-}```
39+ forall a b. S.toStreamK (S.unfoldr a b) = K.unfoldr a b #-}
4040```
4141
4242* Assuming that `fromStreamK/toStreamK` have been removed in the