Numeric.Units.Dimensional.Variants

data Variant

data Metricality

type family v1 * v2 :: Variant

type family Weaken v :: Variant