testParser :: TestTree
testParser =
  testGroup
    "text codec"
    [ testProperty "identity" $ \(TypeInfoG t) ->
        Just t === parseType (formatType t)
    ]
testParser :: TestTree
testParser =
  testGroup
    "text codec"
    [ testProperty "identity" $ \(TypeInfoG t) ->
        Just t === parseType (formatType t)
    ]
testParser =
  testGroup
    "text codec"
    [ testProperty "identity" $ \(TypeInfoG t) ->
        Just t === parseType (formatType t)
    ]