はい、僕も今ググって確認しましたｗ

1:40 AM

あれって抽象のまま保持しないといけないこともあるし、最適化できない気がするんですよねぇ。というか、最適化できるケースはジェネリック関数／メソッドでいいわけで、それじゃできないことをするときに Generalized existentials を使うことになるんじゃないですかねー？