type T is delta <>
