On Wed, Oct 9, 2019 at 3:18 PM Sven Van Caekenberghe <s...@stfx.eu> wrote: > > Actually, thinking about the original use case, I now feel that it would be > best to remove #zipped/unzipped from String.
Please do. Cases like this teach us about the proper separation of concerns. Regards, -- Esteban
