Harmonize AllZip with All

[treeowl]

All comes with a method to use its constraints recursively; AllZip does not. Presumably one of those designs is better and should be used for both.

[kosmikus]

Presumably, you mean adding a function like cpara_SList to AllZip?

I agree that this would be good as well.

In principle, I'd even like to just make AllZip c xs ys a synonym for All (Uncurry c) (Zip xs ys) (which would explain the name choice), but I currently don't see a way to do that while retaining the SameShapeAs trick which improves inference.

[treeowl]

Yes, such a function, making sure it can build the necessary evidence.

…

On Tue, Apr 13, 2021, 2:25 AM Andres Löh ***@***.***> wrote: Presumably, you mean adding a function like cpara_SList to AllZip? I agree that this would be good as well. In principle, I'd even like to just make AllZip c xs ys a synonym for All (Uncurry c) (Zip xs ys) (which would explain the name choice), but I currently don't see a way to do that while retaining the SameShapeAs trick which improves inference. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#138 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAOOF7PMLSQ4II3HRFQ3S4TTIPPVFANCNFSM42RSQCFQ> .

[kosmikus]

I've done this in #142. I haven't yet tested some other libs whether they compile ok with this change.