pub trait AreMultipliable<R1: Dim, C1: Dim, R2: Dim, C2: Dim>: DimEq<C1, R2> { }
Constraints C1 and R2 to be equivalent.
C1
R2