type T is delta <> digits <>
