Numeric.Units.Dimensional.Dynamic
data AnyQuantity v
demoteQuantity
promoteQuantity
data AnyUnit
demoteUnit
promoteUnit