The vector and matrix types together with their iterators.
The module type returned by functorial interface.