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

[Richard A. O'Keefe]

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.