Add natural numbers up to N32.

diff --git a/src/Naturals.hs b/src/Naturals.hs
index 7779cdf74a74ee4413e93b7677c8cf797f84177f..8bdcfe59281f526d9b237fbd5593c7cc86728e89 100644 (file)
--- a/src/Naturals.hs
+++ b/src/Naturals.hs
@@ -15,7 +15,19 @@ module Naturals (
   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 )
@@ -34,3 +46,15 @@ type N17 = S N16
 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