Fix incorrectly type-dependence in vectors of VectorSpace type-class

VectorSpace takes two types to construct, a Field and abelian Group
respecively. The second type field was incorrectly typed as the same
as the first.

Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>