Add instance Monad ZipList

[David Feuer]

On Thu, Jun 4, 2020, 2:10 PM Gershom B <gershomb at gmail.com> wrote:

> I think that the counterexample I linked should be enough to rule out any
> instance for monad, in fact, in conjunction with the fact that to make
> liftA2 (,) correspond to zip, we need to have the join operation result in
> something which is the minimum of the length of the enclosing ziplist and
> all “enclosed” ziplists.
>

That's not so obvious to me. We know what has to happen for very specific
shapes, but how do you know which features of that extend to general shapes?

>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200604/662f6b7d/attachment-0001.html>