Add instance Monad ZipList

David Feuer david.feuer at
Thu Jun 4 18:32:29 UTC 2020

On Thu, Jun 4, 2020, 2:10 PM Gershom B <gershomb at> 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: <>

More information about the Libraries mailing list