型宣言というか変数そのものをなくせる(から、連鎖的に型も消えて見える)という話かな?