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