Except we would, because we need to be able to express instances like first in Arrow using builtin pairs, rather than try and write some sort of combination for every pair and arrow. And I'm pretty sure there are other libraries which depend on pairs too.

On Wed, Nov 25, 2020, 08:07 Barak A. Pearlmutter <barak@pearlmutter.net> wrote:
On Tue, 24 Nov 2020, Henning Thielemann wrote:

> If people would use custom pair types we would not need Foldable on pairs,
> at all.

To be fair, if people would use custom pair types we would not need
*pairs* at all.

--Barak Pearlmutter
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.