[P]に異なる型を入れようとした場合コンパイラがエラーにするので、既存のコードを壊すことはないから大丈夫、必要ならanyを付ける、とかなんですかね？？？