指定していない associatedtypeについては Never　を指定したことにして呼び出せないっていうのが良いんじゃないか

2:52 PM

あ〜、そうですね、それにマッチするExistentialにできるかな？

2:53 PM

でもやっぱりsetしたときにダウンキャストが必要だなあ。内部では真の型があるのだから。