[Haskell-cafe] Automatic differentiation and dimension types

Has anyone explored the intersection between automatic differentiation and dimension types (like those in the dimensional package or along the lines of any of the approaches discussed at http://www.haskell.org/haskellwiki/Physical_units)? It's tricky because for ordinary automatic differentiation the types are all the same, but when dimensions get involved that isn't the case, you have to keep dividing by the dimension of the infinitesimal. -Doug McClean