如何修复F[_] <: Monad[F]类型边界下无法实例化cats.effect.IO的问题

你混淆了Scala类型上界语法和Cats类型类的约束逻辑：
F[_] <: Monad[F]是面向对象的继承约束，要求类型构造器F本身是Monad[F]的子类型。但Cats的Monad是类型类，能力通过隐式实例提供，而非类型继承，IO本身并未继承Monad[IO]，完全不满足你写的类型上界，因此编译器报错。

直接将类型上界替换为Cats类型类的标准约束写法即可：

调整类定义 #

Cats的Concurrent类型类本身的继承链已经包含了Monad的能力，只要声明了Concurrent[F]的约束，就可以直接调用flatMap等Monad方法：

// 调整Proxy类的约束写法，用上下文绑定声明需要的类型类
class Proxy[F[_]: Monad: Async](implicit storage: Storage) {
  def get(key: String): F[Option[Entry]] = {
    Async[F].blocking(storage.get(key))
  }
}

// External类的Concurrent约束已经隐含了Monad能力，无需额外加Monad约束
class External[F[_]: Concurrent](implicit proxy: Proxy[F]) {
  // 内部可以正常调用flatMap
  proxy.get(key).flatMap(...)
}

如果希望显式声明依赖Monad，也可以写成F[_]: Monad: Concurrent，效果完全一致。

实例化代码无需修改 #

你原来的实例化代码可以直接正常运行：

implicit val proxy: Proxy[IO] = new Proxy()
implicit val external: External[IO] = new External()

内容的提问来源于stack exchange，提问作者scala-n00b