Thanks for this hint! I misunderstood dynamic lookup. I will summand what I wanted to say in another post, in a new topic: New "Unevaluated" type for Decoder to allow later re-encoding of data with unknown structure (because I think it is no longer really related to this question)