struct A {

　template <typename Args>
　　struct sig
　　{
　　　　typedef ?? type;　　　
　　};

　　int operator()(int x) const;
　　double operator()(double) const;
　　void operator()(int x, int y) const;

};

上のようなファンクタの場合、型の違いによって、
typeを振り分けるにはcons listから型を抽出して
is_same<>で型を判定するという方法で可能でしょうか？
sigの部分的特殊化の方法か何かで
Args::inherited が cons<A, double>
を表すように仕組んで、
boost::tuples::element<1, Args>::type
とcons<A, double>のdoubleの比較一致を
試すというようなことができれば実現できるのかなと
思っているのですが。