Numeric.Units.Dimensional.TF
data Dimensional v d a
data DUnit
data DQuantity
type Unit
type Quantity
data Dim l m t i th n j
type DOne
type DLength
type DMass
type DTime
type DElectricCurrent
type DAmountOfSubstance
type DLuminousIntensity
type Dimensionless
type Length
type Mass
type Time
type ElectricCurrent
type AmountOfSubstance
type LuminousIntensity
type family Mul a b
type family Div a b
type family Pow d x
type family Root d x