Miss Dada  🏳️‍⚧️

@sgrif Remember at Self a few years ago when I proposed a type system to you largely based on arbitrary union and intersection types, where sum types are the union of product types discriminated by required literal values in their fields? Turns out TypeScript did it and it works!

I do recall that convo. Just looked at it, that's super interesting. Typescript definitely seems to have it's priorities right -- it's type system very much focuses on what works best w/ js interop and/or what allows folks to represent what they are already doing in js