concept indirectly_movable =
    std::indirectly_readable<In> &&

std::indirectly_writable<Out, iter_rvalue_reference_t<In>>;