--- | 'Normed' instance for vectors of length zero. These are easy.
-instance Normed (Vec Z a) where
- norm_p _ = const (fromInteger 0)
- norm_infty = const (fromInteger 0)
-
-
--- | 'Normed' instance for vectors of length greater than zero. We
--- need to know that the length is non-zero in order to invoke
--- V.maximum. We will generally be working with n-by-1 /matrices/
--- instead of vectors, but sometimes it's convenient to have these
--- instances anyway.
+-- | 'Normed' instance for vectors of any length. We will generally be
+-- working with n-by-1 /matrices/ instead of vectors, but sometimes
+-- it's convenient to have these instances anyway.