なんかわかってきた気がする

5:41 AM

extensionでPにSelfを引数にとるメソッドを追加できるから、 existential Pが、もしPに準拠してたら、そのメソッドは、existential Pを受け取ることになるけど、 exPはすべてのT:Pのスーパータイプだから、実際の型はSだったりして、SにおいてはそのメソッドはSを受け取るはずだから、壊れて困る

5:43 AM

exPはT:Pの共通の親であるって性質と、 exP自身がPである、って性質は、一般には両立しないのでは