Why doesn't TypeScript properly type Object.keys?

A few words on Ruby's type annotations state

Best practices for Flow typing React components

What is type safety?