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