Honestly I got hung up on understanding why for Typescript the declaration of `keys` shouldn't be: let keys = (keyof typeof users)[] Like I get it's a contriv

Honestly I got hung up on understanding why for Typescript the declaration of `keys` shouldn't be: let keys = (keyof typeof users)[] Like I get it's a contrived example and maybe I'm missing some nuance to it, but if we're obsessed with type-safety why are we treating a array of strings as an array of keys (which are more like atoms)? I thought the answer might be we're looking for duck typing-ish behavior, but then the proposed take signature doesn't work either?