型消去
型消去 () とは、型変数が存在するクラスや構造体において、型変数を消去すること。