23 Nov
2020
23 Nov
'20
8:45 p.m.
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