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

[Francesco Ariis]

Il 23 novembre 2020 alle 21:18 Sven Panne ha scritto:
> 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... :-/

I recall a long thread, with everyone top posting.
This feature could have helped OP:

    https://gitlab.haskell.org/ghc/ghc/-/issues/11796

but unfortunately is still in design stage
—F