IMHO, type hints should only serve two purposes:

1. design a memory layout for faster execution

2. press dot and get suggestions in IDE

other usage of types brings more problem than it solves.