shapeless - 追加のフィールドをアルゴナウト シェープの EncodeJson インスタンスに追加します

Question

ケースクラスの自動生成されたエンコーダーに追加される追加フィールドを指定する方法はありますか? このフィールドは、ケース クラスが含まれる合計型の型フィールドになるため、サブクラスのエンコーダーが使用されている場合でも、有効な json が生成されます。