[thealistra]

My point is can you write a json deserializer with this, where allocation of every child is defacto optional, depending on input JSON?

[fc417fc802]

As long as the verifier can be satisfied by wrapping the different results in a common type you should be fine. There has to be some way to appease it in that scenario as otherwise even trivial programs wouldn't be able to pass.