pub trait VectorSpace<F: Field>: Module<F> { }
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".