pub type BoxedVar<T> = Box<dyn VarBoxed<T>>;
Represents a Var<T> boxed.
Var<T>
struct BoxedVar<T>(/* private fields */);