Numeric.Units.Dimensional.Dimensions.TypeLevel
data Dimension
type family a * b
type family a / d
type family d ^ x
type Recip d
type family Root d x
type DOne
type DLength
type DMass
type DTime
type DElectricCurrent
type DAmountOfSubstance
type DLuminousIntensity
type KnownDimension d