A module for Vectors
Add Complex Vectors together
Add Real Vectors together
Multiply two Real Vectors together
Multiply two Complex Vectors together
Monoidally add Complex Vectors together
Lift a binary function to work with Vectors
Dot product on two Real Numbered Vectors
Vector type