koher 9/17/2020 7:27 AM

↑はできるわけで、

7:27 AM

それなら同じことはリバースジェネリクスでもできるべきで、

7:27 AM

Opaque Result Type でできない理由はない気がしてきた。