koher 1/23/2020 3:20 PM

うん、めんどうだけど、 Existential にそれくらいのペナルティあってもちょうど良さそう。

3:21 PM

多用するときは typealias だって書けるわけだし。