To me the perfect example of when you want to use tiny-types is when dealing with values in different units, say, temperatures in Celsius and F. They're both fl

To me the perfect example of when you want to use tiny-types is when dealing with values in different units, say, temperatures in Celsius and F. They're both floats, but mean very different things. The extra typecast you have to do before calling a function with a float is a good sanity check.