updatable type-erased system