Anyは空のprotocol compositionだから

1:33 AM

制約の無いexsitentialであってそれ自体はprotocolではないという認識

1:35 AM

あ、どうなんだろう、protocolと考えても矛盾は無い・・・？

1:35 AM

Errorが合成に変なしばりあるの面白いですね