@@ -470,6 +470,8 @@ fromStreamK = Unfold step pure
471-- XXX Using Unfold.fromStreamD seems to be faster (using cross product test
471-- XXX Using Unfold.fromStreamD seems to be faster (using cross product test
472-- case) than using fromStream even if it is implemented using fromStreamD.
472-- case) than using fromStream even if it is implemented using fromStreamD.
473+-- Check if StreamK to StreamD rewrite rules are working correctly when
474+-- implementing fromStream using fromStreamD.
474-- | Convert a stream into an 'Unfold'. Note that a stream converted to an
476-- | Convert a stream into an 'Unfold'. Note that a stream converted to an
475-- 'Unfold' may not be as efficient as an 'Unfold' in some situations.
477-- 'Unfold' may not be as efficient as an 'Unfold' in some situations.