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

R>Ну а тип параметра предиката вытаскиваем уже из типов входных списков.

Как раз была идея не вытаскивать, а чтобы он автоматически вывелся.

PS Ну т.е. понять, что это invokable, возвращающий bool.

std::function f([](int){return false;});

ведь работает