[...] We obtain: length (a,b) = length [b] = 1
maximum (3,2) => 2 minimum (4,5) => 5 sum (6,7) => 7 product (8,9) => 9
Yes, you can think of (X, Y) as "Y with context X" or "a one-element container with Y in it", but is this really what comes to your mind first? I still highly doubt that. The Foldable-Traversable-in-Prelude change was largely a good thing, but very surprising (and not really needed) changes coming stealthily with it were only communicated when it was already too late... :-/