On Wed, Oct 9, 2019 at 3:18 PM Sven Van Caekenberghe <
[hidden email]> 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