std::experimental::ranges::indirect_result_of

template< class > struct indirect_result_of { };

template< class F, class... Is >
  requires Invocable<F, ranges::reference_t<Is>...>
struct indirect_result_of<F(Is...)>

    : std::result_of<F(ranges::reference_t<Is>&&...)> { };