存在型の英語表現は Existential Types