为何Cats中MonadError结合Either可编译但结合Try不行？

问题重现 #

可正常编译的Either示例 #

import cats.MonadError
import cats.instances.either._ // 导入Either的MonadError实例

type ErrorOr[A] = Either[String, A]
val monadError = MonadError[ErrorOr, String]

val success = monadError.pure(42)
println(success)
// 输出: Right(42)

val failure = monadError.raiseError("Badness")
println(failure)
// 输出: Left(Badness)

编译失败的Try示例 #

import cats.MonadError
import cats.instances.try_._
import scala.util.Try

type TryOr[A] = Try[A]
val monadError = MonadError[TryOr, String] // 此处编译报错

val success = monadError.pure(42)
println(success)

val failure = monadError.raiseError("Badness")
println(failure)

编译报错信息：

no implicit found for parameter F: MonadError[TryOr, String]

核心原因解析 #

1. Either的MonadError实例灵活性
   Either是双参数类型构造器（Either[E, A]），Cats为它实现的MonadError实例支持自定义错误类型E。当你定义ErrorOr[A] = Either[String, A]时，相当于固定了Either的错误分支类型为String，cats.instances.either._中提供的隐式实例会自动匹配MonadError[Either[String, *], String]，因此可以正常推导。

2. Try的MonadError实例固定错误类型
   Scala原生Try[A]是单参数类型构造器，它的失败分支被强制限定为Throwable子类——这是Try的原生设计决定的。Cats为Try提供的MonadError实例是MonadError[Try, Throwable]，错误类型只能是Throwable，无法替换为String。你尝试指定错误类型为String，违背了Try的类型约束，因此编译器找不到对应的隐式实例。

修正后的Try代码示例 #

如果要在Try上使用MonadError，错误类型必须是Throwable：

import cats.MonadError
import cats.instances.try_._
import scala.util.Try

type TryOr[A] = Try[A]
// 错误类型指定为Throwable，匹配Try的原生约束
val monadError = MonadError[TryOr, Throwable]

val success = monadError.pure(42)
println(success) // 输出: Success(42)

val failure = monadError.raiseError(new Exception("Badness"))
println(failure) // 输出: Failure(java.lang.Exception: Badness)

内容的提问来源于stack exchange，提问作者kayesh parvez