Returns the result type of invoke_procedure.
namespace result_of { template< typename Function, class Sequence > struct invoke_procedure { typedef unspecified type; }; }