Further sketching of another possible plan. This one leads to using ad for Jacobians without exposing the dimensionally-unsound Functor (Quantity d) instance.