Tagged

JsonSchemas

taggedDecoder

Tagged

taggedEncoded

Tagged

taggedRecord

JsonSchemas

toCirceCodec

JsonSchema