Checking types is optional with Typescript too. We don't need another type annotation syntax for Python. The existing one is fine.