Numeric.Units.Dimensional
type Unit m
type Quantity
data Metricality
data Dimension
type family a * b
type family a / d
type family d ^ x
type family Root d x
type Recip d
data Dimension'
class HasDimension a
type KnownDimension d
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
Functor
, and Conversion Between Number Representationsclass KnownVariant v