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

This is a fool rushing in where angels fear to tread, but having Nothing or Maybe v where v is in an additive group reminds me a bit of Grassman Algebra and makes me wonder if Maybe is really what's wanted here.