pub trait DimMul<D: Dim>: Dim { type Output: Dim; // Required method fn mul(self, other: D) -> Self::Output; }