たしかに。それは正しいですね。そうか、existentialのassociated typeは、アイデンティティがextのインスタンスに紐付いたopaque typeになりますね。 ORTはアイデンティティが関数宣言に紐付いているけど、これは値一つに対して固定される型だ。