d_date 6/2/2022 10:58 AM

これまでassoc typeがあったらExistentialにできなかったという前提ね

10:58 AM

きた！contravariant！進研ゼミでやった！

2