import Linear.Vector (Additive (..), (*^), (^*))