<p dir="ltr">I hate using RULES for this sort of thing. Logically, we should probably have Unzippable f => Functor f, but that's unlikely to fly. We could do that evil default signature thing for an Unzippable class.</p>
<div class="gmail_quote">On Dec 5, 2014 5:49 PM, "Joachim Breitner" <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
<br>
Am Freitag, den 05.12.2014, 17:38 -0500 schrieb David Feuer:<br>
<br>
><br>
>         Am Freitag, den 05.12.2014, 14:09 -0800 schrieb Eric Mertens:<br>
>         > Would it be significantly better than just having/using the<br>
>         following<br>
>         > definition?<br>
>         ><br>
>         > unzipF :: Functor f => f (a, b) -> (f a, f b)<br>
>         > unzipF x = (fmap fst x, fmap snd x)<br>
><br>
>         yes, I guess that would be sufficient. Something for<br>
>         Data.Functor?<br>
><br>
> This looks like it should be the default implementation of an<br>
> Unzippable class, rather than a standalone function.<br>
><br>
<br>
Clearly, every Functor isunzippable.<br>
<br>
What do you expect to be Unzippable that is not a functor?<br>
<br>
Or are you worried about performance, and allow better implementations?<br>
Then I hope we can do that without touching the desired API, e.g. using<br>
RULEs.<br>
<br>
Greetings,<br>
Joachim<br>
<br>
--<br>
Joachim “nomeata” Breitner<br>
  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a> • <a href="http://www.joachim-breitner.de/" target="_blank">http://www.joachim-breitner.de/</a><br>
  Jabber: <a href="mailto:nomeata@joachim-breitner.de">nomeata@joachim-breitner.de</a>  • GPG-Key: 0xF0FBF51F<br>
  Debian Developer: <a href="mailto:nomeata@debian.org">nomeata@debian.org</a><br>
<br>
<br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
<br></blockquote></div>