I submitted https://gitlab.haskell.org/ghc/ghc/merge_requests/644 but it might be still controversial. I'd like to get more opinions again.

Here's the list of proposed instances:

Foldable ((,,) a b)


Foldable ((,,,) a b c)


Traversable ((,,) a b)


Traversable ((,,,) a b c)


Presumably these would leave us with things like length (2,3,4) = 1 ?

If so I'm a weak -1; it's awful but the ship has already sailed with pairs, so maybe consistency beats more "wat" moments.

Cheers,

Ganesh