scala - 为什么 Scala 编译器看不到这个隐式实例

Question

我定义了以下方法：

def add(
  prefix: List[String],
  resourceName: String,
  subTree: ResourceTree): ResourceTree = {
  //import ResourceTreeInstances.semigroupInstance
  implicit val dummyInstance = ResourceTreeInstances.semigroupInstance

  // Make a resource tree with a single path.
  def mkSinglePathRT(gPrefix: List[String]): ResourceTree = ???


  this |+| mkSinglePathRT(prefix)
}

如您所见，我需要使用 |+| 的方法Semigroup，在 Cats 库中定义。我已经定义Semigroup了for的一个实例ResourceTree，但是，使用带注释的 import 导入它不起作用（|+|找不到运算符）。以上dummyInstance解决了问题，但这看起来不正确。

关于为什么此导入未启动实例的任何想法？