Data.UnitsOfMeasure.Defs

type family MkUnit s :: Unit