存在型の自己準拠