読み替えるついでに、Javaでいうところの AutoBoxingとAutoUnboxingの挿入が必要