定义函数时，lambda函数/表达式是什么类型的？

I want to define a function that takes (besides its usual input arguments) a lambda function. And I want to restrict that function as far as possible (its own input- and return types).I want to define a function that takes (besides