Why doesn't TypeScript properly type Object.keys?

A few words on Ruby's type annotations state

What is type safety?