template<typename I , typename B , typename C = ordered_less, typename P = ident, typename VI = iter_common_reference_t<I>, typename VB = iter_common_reference_t<B>, requires = ( Same<VI, VB>() && IndirectlyCopyable<I, B>() && Mergeable<B, I, I, C, P, P>() )> |