M>Можно пример из Kotlin, где left, right не теряются?

В Котлин не нужен враппер, поэтому сохраняется исходный тип, как если бы в Скале был case class.