Why doesn't TypeScript properly type Object.keys?

Visual Programming - Why it’s a Bad Idea

What is type safety?