Deduction of Return / Argument types from function

Question

I\'ve got a hierarchy of types for Callback objects. After some heavy simplification, it looks a bit like this:

template &