<p dir="ltr"></p>
<p dir="ltr">> > How about having a single callback that takes a Value and do the cast in the callback?<br>
> My concern was that I already have to check for the type here in order to see whether to call the callback or recurse, so I thought it was cleaner to have two callbacks, but I don't feel very strongly about that.</p>
<p dir="ltr">Why not always call the callback? We have a set to avoid a loop.</p>
<p dir="ltr">Cheers, Rafael<br>
</p>