(module Linear.QQVector)