If typescript emitted type information, we'd be able to automatically get runtime validation at the boundaries of our apps.