@lily Hmm fair, they may usefully be different types without being different units. (in the spirit of “miles per gallon is area density”)