Current way to construct typed and untyped `VarInfo`: ```julia # Untyped VarInfo vi = VarInfo() model(rng, vi) vi # Typed VarInfo VarInfo(rng, model) ``` A more intuitive way would be ```julia # Untyped VarInfo UntypedVarInfo(rng, model) # Typed VarInfo TypedVarInfo(rng, model) ``` See, e.g.: https://github.com/TuringLang/DynamicPPL.jl/pull/861/files#diff-453c0f6cda4a57b858cf8a049aa4e0d01085433ca084c71982ff18da3684e324R38-R46