pub trait Mod2Mul<Rhs = Self> { type Output; // Required method fn mul_mod2(&self, rhs: Rhs) -> Self::Output; }