モジュールを変更したらそれをimportした全てのモジュールの型チェックをやり直すから
静的型は密結合というのは公然の秘密