1. Protocolにあるassociatedtypeを全部型パラに詰めたClass(A)にassociatedtypeが関わる関数を全て実装、中身は空でOK 2. Protocolを型パラに取るAのサブクラスBを実装、プロパティに型パラのProtocol、Aの型パラと全部結びつけてすべての関数をOverride 3. TypeErasureにAのプロパティを置いてBを代入しその関数を呼ぶ。 (edited)