EitherT [Option，A，B] ===選項[A [B，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]]類型的值Option[Either[A,B]]