JSON decoding of the kind you want requires either run time type information or a high level metaprogramming system, of which you store the data for the types in a sort of tree, which you could call a typed abstract syntax tree (typed AST).

Stating that V has no dependencies and then requiring dependencies means the original statement is false.