型パラがconformanceを持ってる時に、それ自体は指定できないがprotocolが持つassoctypeなら出来た気がするんですよね

1:29 AM

ん、ダメだな

1:33 AM

なにか親しい議論あった気がするんですよね~と検索してみたがヒットしたのは https://discordapp.com/channels/291054398077927425/291054454793306112/372686348395610114 だった。

1:38 AM

うーんextensionで書ききれない制約を、initのタイミングで縛ってごまかすっていうコードを書いた記憶があるんだが

1:38 AM

どこにしまったかな。。