typeの概念消去