This module defines some common vector operations. It is intended that this module not be imported directly, but that its functionality be gained by importing either SimpleVec or CarrotVec, but not both. Choose SimpleVec for vector operations (such as vector addition) with simple concrete types, which work only with the type Vec of three-dimensional vectors. Choose CarrotVec for vector operations that work with any type in the appropriate type class.