Let's expand the coverage of typed codes, as most recent pull requests have type annotations but old codes do not. Feel free to choose any module to work on.