scala - シール型のすべてのサブタイプに暗黙を提供する

Question

私のアプリケーションには、シールされたトレイト階層の一部である複数のケース クラスとオブジェクトがあります。Akka でメッセージとして使用します。

これらのクラスは、websocket 経由で送信する前に、ユーザー フレンドリな形式に変換する必要があります。

以前は大きなパターン マッチを使用してそれらを 1 か所で変換していましたが、型の数が増えるにつれて、暗黙的な変換を使用したいと考えています。

object Types {
  sealed trait Type
  case object SubType1 extends Type
  case object SubType2 extends Type
  case object SubType3 extends Type

  trait Converter[T] {
    def convert(t: T): Int
  }

}

object Implicits {
  import Types._
  implicit object Type1Coverter extends Converter[SubType1.type] {
    override def convert(t: SubType1.type): Int = 1
  }
  implicit object Type2Coverter extends Converter[SubType2.type] {
    override def convert(t: SubType2.type): Int = 2
  }
  implicit object Type3Coverter extends Converter[SubType3.type] {
    override def convert(t: SubType3.type): Int = 3
  }
}

object Conversion {
  import Types._
  def convert[T: Converter](t: T): Int = {
    implicitly[Converter[T]].convert(t)
  }

  def convert2[T <: Type](t: T)(implicit ev1: Converter[SubType1.type], ev2: Converter[SubType2.type], ev3: Converter[SubType3.type]): Int = {
    t match {
      case t1@SubType1 =>
        implicitly[Converter[SubType1.type]].convert(t1)
      case t2@SubType2 =>
        implicitly[Converter[SubType2.type]].convert(t2)
      case t3@SubType3 =>
        implicitly[Converter[SubType3.type]].convert(t3)
    }
  }
}

次のように使用したいと思います。

import Types._
import Conversion._
import Implicits._

val t1 = SubType1
val x1: Int = convert(t1)

val t: Type = SubType2 // T is of type Type
//Is it possible to handle that?
//val x: Int = convert(t)

val y: Int = convert2(t)

convert2マクロを書かずに自動的に何かを生成する「魔法の」方法があるかどうか知りたいです。このようなマクロを提供するライブラリが既にあるのではないでしょうか?