+-- | Type synonym for row vectors expressed as 1-by-n matrices.
+type Row n a = Mat N1 n a
+
+-- Type synonyms for 1-by-n row "vectors".
+type Row1 a = Row N1 a
+type Row2 a = Row N2 a
+type Row3 a = Row N3 a
+type Row4 a = Row N4 a
+type Row5 a = Row N5 a
+
+-- | Type synonym for column vectors expressed as n-by-1 matrices.
+type Col n a = Mat n N1 a
+
+-- Type synonyms for n-by-1 column "vectors".
+type Col1 a = Col N1 a
+type Col2 a = Col N2 a
+type Col3 a = Col N3 a
+type Col4 a = Col N4 a
+type Col5 a = Col N5 a
+