tarunon 4/27/2017 2:27 AM

Generalized existentialsがあれば、成り立つようになるのでは(直感)ってやつ

2:27 AM

associatedtypeありでも。