someDiscriminatorFromTuple
given someDiscriminatorFromTuple[T, D, DN, H, Tail <: Tuple](using val current: Aux[T, D, DN, H, (String, SRef[_])], val next: Aux[T, D, DN, Tail, Option[SDiscriminator]]): TapirDiscriminatorTranslation[T, D, DN, H *: Tail]