疑似コードも一応
template<typename T>auto a(T f){return f();}
auto b(){auto f=[](){1+1;};return f();}
int main() {
a([](){return 1+1;});
b();
return 0;
}