型とは何ですか?
定義を書いてください