存在型ってなんですか?