Type Definition DimSum
lnkit::prelude::base::dimension
type DimSum<D1, D2> = <D1 as DimAdd<D2>>::Output;