That's kindof like asking for an example of operations that relate length and speed by accident. The whole point is that it is an accident. Its exactly the ki

That's kindof like asking for an example of operations that relate length and speed by accident. The whole point is that it is an accident. Its exactly the kind of accident that embedding units into your type system is supposed to prevent. I just find that the kind of trivial examples that folks support this way are just that - trivial examples. They don't scale to the kinds of problems that I am faced with solving.