> I'm not convinced that the type system shouldn't be helping with
> dimensional analysis, but at least it shouldn't hurt. By all means,
> let the programmer raise a Duration to a power - but the type of the
> result should not also be Duration. In the absence of automatic
> dimension tracking, just return a plain number.
Or, by Ockham, since Duration is now deprived of its only task --
making life harder for the programmer -- remove it altogether from the
language and just put a number type in its place, representing number