shapeless - 向 argonaut-shapeles 上的 EncodeJson 实例添加附加字段

Question

有没有办法指定添加到案例类的自动生成编码器的附加字段？该字段将是案例类所属的总和类型的类型字段，因此即使在使用子类的编码器的情况下，它也会生成有效的 json。