pub trait Field { type Elem: Elem + RootsOfUnity; type ExtElem: ExtElem<SubElem = Self::Elem>; }
A pair of fields, one of which is an extension field of the other.