instance Module a b => Module a (Vect n b)