要么没有正确向上转换为共同特征超类型（Scala 3）

Question

当将 for 理解与

EitherT

链接时，编译器在将我的错误向上转换为它们的共同祖先类型时遇到问题。

我的代码中有以下类型定义：

sealed trait Error
object Error:
  case object Error1 extends Error
  case class Error2(someParams) extends Error

到目前为止一切顺利。然后我就有了暴露这些东西的特征：

trait SomeInterface[F[_]]:
  def someMethod(params): F[Either[Error1.type, Type1]]
  def otherMethod(params): F[Either[Error2, Type2]]

然后在我的逻辑中，我以这种方式链接它们：

for {
  t1 <- EitherT(someMethod)
  t2 <- EitherT(otherMethod)
yield t2

理论上这应该可行，但我收到以下错误：

Found: EitherT[F, Error2, Type2]
Expected: EitherT[F, Error1.type, Any]

我已经尝试更改我的接口，以便它们返回通用类型，但是当我实现时，它在转换它时遇到了麻烦。

我也尝试在

EitherT

构造函数中传递类型参数，但结果相同。

Answer 1

说实话，我不是一位出色的 FP 专家，所以我不确定我的解决方案是否是“干净”的解决方案，但每当我遇到此类问题时，我都会通过导入

cats.syntax.bifunctor.*

并在

leftWiden[Error]

上调用

EitherT

来解决.