如何在不消除对象歧义的情况下用circe解码ADT

sealed trait Shape
case class Circle(radius: Double) extends Shape
case class Rectangle(width: Double, height: Double) extends Shape
case class Triangle(base: Double, height: Double) extends Shape

import io.circe._
import io.circe.generic.auto._
import io.circe.parser._

implicit val shapeDecoder: Decoder[Shape] = deriveDecoder[Shape]

val json = """{"Circle": {"radius": 5.0}}"""
val shape = decode[Shape](json)

shape match {
  case Right(Circle(radius)) => println(s"Circle with radius $radius")
  case Right(Rectangle(width, height)) => println(s"Rectangle with width $width and height $height")
  case Right(Triangle(base, height)) => println(s"Triangle with base $base and height $height")
  case Left(error) => println(s"Decoding error: $error")
}