Data.VectorSpace
class VectorSpace v
class InnerSpace v