FieldDescriptionsDoNotContainFieldName_N_*:
given FieldDescriptionsDoNotContainFieldName_N_*:[N <: Stringleton, T, O <: Stringleton, S, Next <: Tuple](using val ev: => Ineq[N, O], val nextEv: => FieldDescriptionsDoNotContainFieldName[N, Next]): FieldDescriptionsDoNotContainFieldName[N, Aux[T, O, S] *: Next]