Isn't the idea to mix types and dimensionality analysis? With mathematics libraries in a language like Ada your angles will usually be one type, your distances

Isn't the idea to mix types and dimensionality analysis? With mathematics libraries in a language like Ada your angles will usually be one type, your distances another, and the rate of change another, and so on.