Comment by jtwerasdf

This should be obvious as TypeScript has inexact types (shame they didn't port exact types from Flow).

This really needs to be stated more clearly I guess.