The way I think about this is types is like writing tests for your code. Typescript will fail if the contracts don't match.