Functions to incrementally add type args to instances