It would presumably take less compile time than a regular vector because the template parts are small shims that call out to the non-template type-erased implem

It would presumably take less compile time than a regular vector because the template parts are small shims that call out to the non-template type-erased implementation. A regular vector has to recompile the implementations for each instantiation.