[govert]

I think this is normally done in terms of 'units of measure'. Here's how F# implements this: https://docs.microsoft.com/en-us/dotnet/fsharp/language-refe... https://fsharpforfunandprofit.com/posts/units-of-measure/