<div dir="ltr"><div dir="auto">We don't strictly *need* to add either of these functions. Users can use munzip from the MonadZip instance, and we can add a rewrite rule to turn<div dir="auto"><br></div><div dir="auto">    munzip (fmap f xs)</div><div dir="auto"><br></div><div dir="auto">into</div><div dir="auto"><br></div><div dir="auto">    Data.Sequence.Internal.<wbr>unzipWith f xs</div><div dir="auto"><br></div><div dir="auto">On the other hand, MonadZip isn't a terribly well-known class, and unzipWith has always struck me as an obvious analogue of zipWith.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Jan 11, 2018 10:32 PM, "Ivan Lazar Miljenovic" <<a href="mailto:ivan.miljenovic@gmail.com" target="_blank">ivan.miljenovic@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 12 January 2018 at 13:28, David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>> wrote:<br>
> Paolo G. Giarrusso (Blaisorblade) would like to add an unzip function to<br>
> Data.Sequence. I agree. I propose adding<br>
><br>
>   unzip :: Seq (a,b) -> (Seq a, Seq b)<br>
><br>
>   unzipWith :: (x -> (a, b)) -> Seq x -> (Seq a, Seq b)<br>
><br>
> Does anyone object?<br>
<br>
I see no problem with this.  Though I think it's worth pointing out<br>
that Data.List doesn't have unzipWith (though unzipWith f = unzip .<br>
map f).<br>
<br>
--<br>
Ivan Lazar Miljenovic<br>
<a href="mailto:Ivan.Miljenovic@gmail.com" target="_blank">Ivan.Miljenovic@gmail.com</a><br>
<a href="http://IvanMiljenovic.wordpress.com" rel="noreferrer" target="_blank">http://IvanMiljenovic.wordpres<wbr>s.com</a><br>
</blockquote></div></div>
</div>