PyCharm の型チェック微妙にうまく働かなかったり、逆に誤検出したりするのが微妙。