给定一个 Any 类型的对象及其 TypeTag,如何使用 Argonaut/Shapeless 创建它的 JSON?
case class Person(name: String, age: Int)
// somewhere in the code where type of 'any' is known,
// and we preferrably dont want to include information
// about JSON capabilities (i.e. prefer not to include
// implicit EncodeJson[Person])
val tt = typeTag[Person].asInstanceOf[TypeTag[Any]]
val any = Person("myname", 123).asInstanceOf[Any]
//somewhere else in the code where type of 'any' is unknown, but we got the TypeTag 'tt'
implicit val e: EncodeJson[ ??? ] = ??? //somehow utilize 'tt' here?
println(any.asJson)