アリティ0の封印されたトレイトインスタンスをエンコード/デコードするためのCirceインスタンス？
オブジェクトを明確にすることなく、CircleでADTをデコードする方法
コンパイル時にキーが不明な場合のJSON値のデコード