more semantics for default type args