[dllthomas]

"The type-checker doesn't know you should have added instead of multiplied"

Dimensional analysis is a type system that knows exactly that.