tapirSchemaSingletonCoproductTranslation
given tapirSchemaSingletonCoproductTranslation[T, R <: NonEmptyTuple, RV <: NonEmptyTuple, D, DN](using val ev: ExistsFor[IsSingletonSubtype, R], val cpt: Aux[T, R, (List[String], T => Boolean)]): SchemaTranslator[T, CoproductShape[T, R, RV, D, DN], Schema]