decode
CodecLaws
PrinterLaws
decodingAccumulatingRoundTrip
ParserLaws
decodingRoundTrip
ParserLaws