[Haskell-cafe] Textbook example of instance Foldable ((,)a)

Zemyla zemyla at gmail.com
Wed Nov 25 17:26:04 UTC 2020


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 at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20201125/94967c82/attachment.html>


More information about the Haskell-Cafe mailing list