I was just writing code to take newtons (foot pounds per second cubed) and turning that into jerk (feet per second cubed) and then integrating that into acceleration, etc., and I was like "the type system should definitely be validating this."
Would also accept a linter.