Здравствуйте, byleas, Вы писали:

B>7.1.6.4/1
B>7.1.6.4/3

Я пока в такие дебри не лез.
Балуюсь только. Многое не очевидно, например

    auto id=[](int x){return x;};
    typedef decltype(id) inttoint;
    auto compose=[](inttoint f, inttoint g){return [=](int x){ return f(g(x));}; };
    inttoint cid(compose(id,id)); //Тут не едут лыжи!
    std::cout << cid(10) << std::endl;