I would rather just have a flag to require type annotations to simply not have to worry about this. I find code much harder to read without them anyway.