正如 Alexej对此问题的回答所见，在 a 上运行序列时，Seq[Validation[X, A]]您需要一个样板显式类型参数sequence[({type L[Y] = Validation[X, Y]})#L, Y]。
其他数据类型/函数可能会发生同样的需求。
通过改进类型推断来消除对此类显式类型的需求的相关问题是：
理论上可以在Scala中做吗？
如果是，这是否在 Scala 路线图上？什么时候可以预期解决方案？
如果不在路线图上，那么解决方案是否容易/适中/难以实现？
一个普通人能做些什么来推进这个案子吗？
欢迎任何有关该问题的指示。
（这里是一个稍微相关的问题，但不讨论未来的前景）