推断常见的超类型

Question

这是我想要做的事情

  def merge[A, B, C](eithers: Either[A,B]*)(implicit ev1: A <:< C, ev2: B <:< C): Seq[C] =
     eithers.flatMap(_.fold(Option[C](_), Option[C](_)))

基本上，我想将Either[A,B]的列表“扁平”为Seq[C]，其中C是A的常见超类型，B是（Any除外） ）。

例如：

  trait Foo
  class Bar extends Foo
  class Baz extends Foo

  merge(Left[Bar, Baz](new Bar), Right[Bar, Baz](new Baz)) 

这不起作用:( 它说Cannot prove that Baz <:< C

然而，这确实有效：

  merge[Bar, Baz, Foo](Left[Bar, Baz](new Bar), Right[Bar, Baz](new Baz))
  res7: Seq[Foo] = ArrayBuffer(Bar@613f7eb7, Baz@565aa4ac)

所以，问题是有什么东西可以让它推断出普通的超类型，所以我不必像这样把它拼出来吗？ 或者，至少，一种方法只使用一个类型参数（我不介意指定结果的类型，因为我必须说明输入数据的类型）。

我知道做后者的一种方法是将其分配给变量：

val merged: Seq[Foo] = merge(Left[Bar, Baz](new Bar), Right[Bar, Baz](new Baz)) 

这有效，但并没有完全削减它，因为我讨厌声明变量，只使用一次。理想情况下，我希望做这样的事情：

merge(input)
  .filter(doILikeIt)
  .map(doSomethingInteresting)
// etc. 

有什么想法吗？

Answer 1

有一个简单的解决方案，使用方差：

def merge[C](eithers: Either[C, C]*): Seq[C] = eithers.map(_.fold(x => x, x => x))

Answer 2

使用类型边界而不是隐式参数对我有用：

def merge[A <: C, B <: C, C](eithers: Either[A,B]*): Seq[C] =
  eithers.flatMap(_.fold(Option[C](_), Option[C](_)))