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

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 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.