More NonEmpty zips

[treeowl]

Data.List.NonEmpty offers zip, zipWith, and unzip. Data.List, on the other hand, offers each of these up to arity 7. I propose to add all the rest for NonEmpty:

• zip2 ... zip7
• zipWith2 ... zipWith7
• unzip ... unzip7

[Bodigrim]

@treeowl

core-libraries-committee/PROPOSALS.md

Lines 54 to 57 in dcaf3f2

	The issue creator is responsible for seeing their proposal through.
	The Core Libraries Committee's focus is around management,
	not implementation: you should do the work for your own proposals
	(or others' if you like them!) to show us that you think it's worth doing.

Given the state of #23, #24 and #31, could you please confirm that you have bandwidth to propose yet another one?

[Bodigrim]

I mean, I think this is a very reasonable proposal, but in the event it's accepted I really do not want to push and prod for months before it is implemented and merged. Do we have an enthusiatic volunteer with spare time to add zip{3,4,5,6,7}, zipWith{3,4,5,6,7} and unzip{3,4,5,6,7} for NonEmpty?

[Bodigrim]

@treeowl could you please clarify the status of this? Unless there is someone with enough bandwidth to champion the proposal and write an MR implementing it, I'll close this as abandoned in two weeks.

[treeowl]

I would be happy to attempt an MR.

[Bodigrim]

@treeowl then please go ahead with a draft MR, which we can vote on.

[treeowl]

@Bodigrim Now that I'm looking at it, I think it may actually be better to postpone implementation of these until the strictness issues have been settled. I don't really want to write a bunch of excessively lazy code or introduce a bunch of inconsistencies.

[Bodigrim]

Understood. Extreme laziness of Data.List.NonEmpty is quite a footgun. Would you like to make a proposal to change it?

[treeowl]

Closing pending action on #107.