@@ -42,6 +42,10 @@ instance Field a => Field (Vect n a) where
4242instance RingWithUnity a => Module a (Vect n a) where
4343 (<#>) r v = map (r <*>) v
4444
45+instance RingWithUnity a => Module a (Vect n (Vect l a)) where
46+ (<#>) r m = map (r <#>) m
47+-- should be Module a b => Module a (Vect n b), but results in 'overlapping instance'
48+
4549-----------------------------------------------------------------------
4650-- (Ring) Vector functions
4751-----------------------------------------------------------------------