On Tue, Mar 17, 2015 at 05:47:11PM -0400, Richard Eisenberg wrote: > I have what may be a basic question: why is there an `instance Additive f => Additive (Point f)` (in the Affine module)? [...] > PS: Of course, this instance is directly hurting my use of the package. [...] Missing a "not"?