The thing is, TS has a very pragmatic type system [1], with multiple opt-outs or workarounds if necessary.

"Decent type systems" are usually in your way (especially if you want to quickly prototype something), and despite "decency" have abysmal tools (like "hey I've changed this function signature, update all call sites etc.)

[1] It's getting more and more complex, but even if you write something like this, it's still aiming to help you:

   Partial<Record<typeof keyof SomeEnum, boolean>>>