Not dumb, you answered the question I asked :D But yeah, I agree that duplicating the intersection produces another interesting question. In any case, "conven

Not dumb, you answered the question I asked :D But yeah, I agree that duplicating the intersection produces another interesting question. In any case, "convenient approximation of row types" probably still applies to TS more than Haskell. And possibly also "more convenient row types", but that remains TBD.