type T is mod <>;
