Re: [Haskell-cafe] Categorical description for vector-space instance of AdditiveGroup (Maybe a)