formatRefined
RefinedJsonFormats