N17,
N18,
N19,
- N20 )
+ N20,
+ N21,
+ N22,
+ N23,
+ N24,
+ N25,
+ N26,
+ N27,
+ N28,
+ N29,
+ N30,
+ N31,
+ N32 )
where
import Data.Vector.Fixed ( N1, N2, N3, N4, N5, N6, S, Z )
type N18 = S N17
type N19 = S N18
type N20 = S N19
+type N21 = S N20
+type N22 = S N21
+type N23 = S N22
+type N24 = S N23
+type N25 = S N24
+type N26 = S N25
+type N27 = S N26
+type N28 = S N27
+type N29 = S N28
+type N30 = S N29
+type N31 = S N30
+type N32 = S N31