通过模板元编程确定lambda的参数类型

Question

有没有办法通过模板元编程来确定lambda的参数类型？即：

typename ArgumentType <[] (double d) { return 0.0; }>::type

应该是双倍的，

typename ArgumentType <[] (int i) { return 0; }>::type

应为int。

我需要一个通用的解决方案，这意味着我不能使用SFINAE并尝试在可能的候选类型的有限列表中调用所有类型的lambda。