まあまあ形式的に書かれてるけど話がややこしくて英語が難しい・・・

1

7:47 AM

初期の案だと曖昧になるケースがあったんだけど、今回は型の型パラメータでの利用は無しの仕様で、関数の型パラメータだけだから、その手の問題は回避してるのか・・・？