testCodec :: TestTree
testCodec =
  testGroup
    "cbor codec"
    [ testProperty "identity" $ \(TypeInfoG t) ->
        Right t === runDecoder typeDecoderV0 (runEncoder (typeEncoderV0 t))
    ]
testCodec :: TestTree
testCodec =
  testGroup
    "cbor codec"
    [ testProperty "identity" $ \(TypeInfoG t) ->
        Right t === runDecoder typeDecoderV0 (runEncoder (typeEncoderV0 t))
    ]
testCodec =
  testGroup
    "cbor codec"
    [ testProperty "identity" $ \(TypeInfoG t) ->
        Right t === runDecoder typeDecoderV0 (runEncoder (typeEncoderV0 t))
    ]