type T is delta <>;
