Why doesn't TypeScript properly type Object.keys?

In this blog post, the author explores the concept of structural typing in TypeScript. Structural typing is a type system that focuses on the structure and shape of an object rather than its explicit type. The article explains how structural typing differs from nominal typing, which is commonly used in languages like Java and C#. It also discusses the benefits and drawbacks of using structural typing in TypeScript, such as increased flexibility and easier code reuse. The author provides examples and scenarios where structural typing can be particularly useful and offers insights on how to leverage this feature effectively in TypeScript development.