The expectation that length = getSum . foldMap (Sum . const 1)

On Mon, Nov 23, 2020, 10:21 AM Manuel Schneckenreither <manuel.schnecki@gmail.com> wrote:
    >>>>> "HT" == Henning Thielemann <lemming@henning-thielemann.de> writes:

    HT> "length (a,b) == 1" is only a consequence of defining instance
    HT> Foldable for pairs. It was not the argument to implement that
    HT> instance, at all.

What was the argument to use 1, not 2 for instance?
_______________________________________________
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.