Opaque 型パラサポートもしないと Opaque Type も中途半端だけど、それできても Reverse Generics ないと↓とかできなくない？普通に機能足りてないと思うんだけど・・・。