@rintaro AssociatedTypeが無いprotocolの場合は Protocol Existential 型の値になるけど、それが結局 (x, wt, xt)の３フィールドだから、情報抜き出すところは同じだと思います。