pub type DimMaximum<D1, D2> = <D1 as DimMax<D2>>::Output;