def main(argv: Sequence[str]) -> None:

↑
これってどういう意味というか、なにがやりたいんですか？

def main(argv):
ならmainにargvを渡すだけで分かりやすいんですが