[boost] Generating a single functor from multiple ones

I would be quite interested in an utility that could generate a single functor with multiple overloads from multiple functors. It could be quite useful for example to visit a variant and all kinds of pattern matching. I tried to implement it, using this [1] as a basis. But then I wanted to add Lambda and ResultOf support, and thus I realized the reflection mechanism could really help to figure out what argument_type should be. Any ideas about how to implement that and make it work with ResultOf and Lambda? [1] http://groups.google.com/group/comp.std.c++/msg/34b98493a8531d58