pub trait Ring: Clone + Zero + Add<Output = Self> + Sub<Output = Self> + One + Mul<Output = Self> { }
Trait union for a ring with 1.