instance Module a b => Module a (Vect n b) [2]
small fixes, typo, whitespace