モジュールまたぐ時の真の型っていつ決まるんでしたっけ？