tapirSchemaCoproductTranslation
given tapirSchemaCoproductTranslation[T, R <: NonEmptyTuple, RV <: NonEmptyTuple, D, DN](using val ev: NotGiven[ExistsFor[IsSingletonSubtype, R]], val cpt: Aux[T, R, (List[Schema[_]], T => Option[Schema[_]])], val dt: Aux[T, D, DN, R, Option[SDiscriminator]], val vd: TapirValidatorTranslation[T]): SchemaTranslator[T, CoproductShape[T, R, RV, D, DN], Schema]