The Elm programming language ecosystem has the great "elm-units" library, which prevents one from mixing illogical units, and it produces logical unit combinati

The Elm programming language ecosystem has the great "elm-units" library, which prevents one from mixing illogical units, and it produces logical unit combinations: https://package.elm-lang.org/packages/ianmackenzie/elm-units/latest/ https://package.elm-lang.org/packages/ianmackenzie/elm-units... ...which is used in other packages where unit type safety is important, such as elm-geometry: https://package.elm-lang.org/packages/ianmackenzie/elm-geometry/latest/ https://package.elm-lang.org/packages/ianmackenzie/elm-geome...