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.