type T is (<>) or use D;