型定義というのは
変数にって意味だろ?