Either在返回子类时引发编译错误

在下面的代码中,我使用的是“猫” EitherT 班它可以编译,但我不得不使用 Error 特点:

def isNeg(i:Int): Future[Either[Error,Int]] = Future {

我的意图是将函数声明为:

def isNeg(i:Int): Future[Either[IsPositive,Int]] = Future {

但如果我使用 IsPositive (函数的 Left )Scala引发编译错误。为什么不使用 IsPositive公司 ?

import cats.data.EitherT
import cats.implicits._

trait Error
case class IsNegative() extends Error
case class IsPositive() extends Error

object HelloScala extends App {

    def isPos(i:Int): Future[Either[IsNegative,Int]] = Future {
      if (i>0)
          Right(i)
      else
          Left(IsNegative())
    }

    def isNeg(i:Int): Future[Either[Error,Int]] = Future {
      if (i<0)
          Right(i)
      else
          Left(IsPositive())
    }

    def myFunction (i: Int) = {
       val result = for {
          ret <- EitherT(isPos(i)) // <-- compilation error, if IsPositive is used in isNeg
          ret2 <- EitherT(isNeg(ret))
       } yield ret2
       println(result.value)
    }

}