不包括在json中的Circe特征字段

I have a simple trait which mixed in some case classes. When converting instances of that classes to JSON via circe, I realized that fields with default values in trait not included in JSON string.I have a simple trait which mixed in some case