scala - EitherT[选项，A，B] ===选项[Either[A，B]]

Question

如果我理解正确，EitherT[Option,A,B] 应该与 Option[Either[A,B]] 相同，但编译器不同意.以下代码编译失败:

def f[A,B] = implicitly[EitherT[Option, A, B] === Option[Either[A,B]]] 

我错过了什么？

Answer 1

它们是同构的，但不是同一个值。 EitherT[Option,A,B] 包装类型 Option[Either[A,B]] 的值以提供不同的行为。让我们看一下定义:

final case class EitherT[F[_], A, B](run: F[A \/ B])

所以 EitherT 包装了一个 Option，名为 run 的值是 Option[Either[A,B]]