existential が conform できないのの理由ってあるんでしたっけ？現状の実装がそうなってるだけなのか、思想的な理由なのか。 (edited)