<experimental/ranges/iterator>
template< class In, class Out > concept bool IndirectlyCopyable = Readable<In> && Writable<Out, ranges::reference_t<In>>;