[code-quality] Re: Type annotation "coverage"?