type T is mod <>
