これは逆に、ジェネリックラムダは、テンプレート機構とみなされる

3:01 AM

つまり、型推論のようなことをやらせるために、テンプレートを使う

3:02 AM

もちろん厳密にはテンプレートの型解決ルールはHM型推論よりは弱いのでC++だと苦労する場面はあるんですが、この挙動で結構、高階関数がちゃんと使える