为何ADT中Coproduct成员为泛型时无法解析隐式值？

我已经编写了一个自包含的示例来重现遇到的问题。为了让大家更容易理解这个场景，我先实现了一个基础的Encoder类型类，用于将指定类型T的值编码为字符串：

// 定义核心类型类
trait Encoder[T] {
  def encode(value: T): String
}

紧接着我为这个类型类实现了伴生对象，主要是为了提供更简洁的使用语法，以及快速创建类型类实例的便捷方法：

// Encoder类型类的伴生对象
object Encoder {
  // 通过传入函数快速创建Encoder实例
  def instance[T](f: T => String): Encoder[T] = new Encoder[T] {
    override def encode(value: T): String = f(value)
  }

  // 隐式查找的语法糖方法（代码片段未完整，此处保留现有内容）
  def apply[T](implicit encoder: E...
}

注：目前apply方法的定义尚未完成，后续补充完整后即可复现具体的问题场景。

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