こういう型情報の逆伝播って動的型付けの言語だとできないですよね。