Trait Domain
fructose::algebra::ring
pub trait Domain<A: Operator = Additive, M: Operator = Multiplicative>: Ring<A, M> + NonZero { }
impl<T> Domain<Additive, Multiplicative> for T where T: Ring + NonZero,