While this code would execute in JavaScript, this code won't even compile in TypeScript because my FirstName function is expecting to be passed a Customer parameter.

In TypeScript 1.4, you get type-safe support even when you may be working with multiple types, better type checking when inferring types and aliases for type definitions. TypeScript continues to gain ...