でもその元々のやつは

6:30 AM

associatedtypeがあったら駄目で、それ自体はプロトコルを満たさないやつですよね？

6:31 AM

だから、GEneralized Existentialで提案されてる Any<P1, P2> の表記で表される機能とは振る舞いが違うから

6:31 AM

むしろちょうど避けられてて良かったのかなと