Общий тип Union без Scala

Это отлично работает:

def echo[A, B](a: A, b: B): A = ???

Это тоже нормально:

def echo[A, B](a: A, b: B): B = ???

Однако как нам добиться этого, чтобы вернуть либо тип A, либо тип B?

// error
def echo[A, B](a: A, b: B): A|B = ???

Возможно ли просто иметь тип объединения из универсальных типов A и B? Ваше здоровье.

ОБНОВЛЕНИЕ1

Either — вариант, но не идеальный, так как при обработке возвращаемого результата требуется совпадение с шаблоном. По сути, я хочу этого: A <: A|B, B <: A|B, чего Either не достигает.

Другая крайность, я могу сделать это, но шрифт слишком свободный:

def echo[A, B](a: A, b: B): Any = ???

ОБНОВЛЕНИЕ 2
Почему мне не нужен Either?

(Причина 2)

Возвращаемый результат на самом деле будет Dataset Spark, что требует Encoder для любого типа, который не является подтипом Product (см. эту тему).

При многократном вызове этого метода он приводит к слишком большому количеству Either, обертывающих друг друга, например. Either[Either[Either[...]]]. Для этого требуется определить слишком много кодировщиков.

Итак, я на самом деле делаю это:

def echo[A, B](a: A, b: B): Dataset[A|B] = ???

Если я сделаю это, потребуется много разных кодировщиков из-за типа Either:

def echo[A, B](a: A, b: B): Dataset[Either[A, B]] = ???
val result1: Either[Cat, Dog] = echo(a: Cat, b: Dog)
val result2: Either[Either[Cat, Dog], Pig] = echo(result1: Either[Cat, Dog], c: Pig)

// we have to define encoders:
implicit encoder1: org.apache.spark.sql.Encoders.kryo[Either[Cat, Dog]]
implicit encoder2: org.apache.spark.sql.Encoders.kryo[Either[Either[Cat, Dog], Pig]]

// if we keep iterating, then too many encoders to define...