type T is tagged or use D;