pub type Dimension = dyn Dimension<Kind = dyn Kind, I = Z0, Th = Z0, T = PInt<UInt<UTerm, B1>>, J = Z0, M = Z0, N = Z0, L = Z0>;
Dimension of time, T (base unit second, s).