Douglas McClean

If you have time to paste the relevant parts that would be awesome.

Lines 133 through 139 could be stolen as well, those are good operator names. But then again maybe having the one in dimensional would only help astro for interchange purposes...

Might be best just to provide an instance for `AffineSpace` from `Data.AffineSpace`. Settles the naming issue and builds on what already exists. ``` class AdditiveGroup (Diff p) => AffineSpace p...

Getting started in the experimental package: https://github.com/bjornbm/dimensional-dk-experimental/blob/master/Numeric/Units/Dimensional/DK/AbsoluteTemperature.hs

It turns out that you can't do `GeneralizedNewtypeDeriving` for classes like `AffineSpace` that have an associated type. I discovered that while trying to make `newtype TorsorQuantity d a = TorsorQuantity...

I was thinking `absoluteZero .^+ myKelvinTemp` and hiding the `AbsoluteTemperature` constructor, but that could work too.

No, none whatsoever. I will look into it though.

linear's dependencies definitely seem to overlap better with my other needs. - linear itself includes a type for quaternions - The netwire package that I am using for FRP shares...

vector-space defines a more general type for this kind of thing than linear does. Excerpting vector-space: ``` class AdditiveGroup (Diff p) => AffineSpace p where type Diff p (.-.) ::...

Question on this: There's absolute temperature. And absolute pressure. Is it true that those are the only dimensions with universal absolutes, or can you think of any others?