pub trait DimNameMul<D: DimName>: DimName { type Output: DimName; fn mul(self, other: D) -> Self::Output; }