Excellent read.
TypeScript quickly de-boggled through the lense of set theory:
https://blog.thoughtspile.tech/2023/01/23/typescript-sets/