お、増やしたらちゃんと増えた

9:03 AM

SILの状態だとキャプチャ前の生関数とキャプチャ後のクロージャの型がちゃんと見えていて、partial_applyでちゃんと型の式になってるんですね