AbstractModule contains multiply_by making it non-marker trait.
Move it to separate trait
Add way to specify what it does from custom attribute
Both VectorSpace (the fact that this isn't called AbstractVectorSpace needs to be hardcoded) and AbstractModule have associated type that needs to be specified somehow.
There is currently two problems with this:
AbstractModulecontainsmultiply_bymaking it non-marker trait.VectorSpace(the fact that this isn't calledAbstractVectorSpaceneeds to be hardcoded) andAbstractModulehave associated type that needs to be specified somehow.