Re: [GHC] #13966: Skip-less stream fusion: a missed opportunity (was: Skip-less stream fusion)