From bd9efa560f5ab4624bef2ae61d98730198a53499 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 13 Apr 2014 14:09:17 -0400
Subject: [PATCH] Add natural numbers up to N32.

---
 src/Naturals.hs | 26 +++++++++++++++++++++++++-
 1 file changed, 25 insertions(+), 1 deletion(-)

diff --git a/src/Naturals.hs b/src/Naturals.hs
index 7779cdf..8bdcfe5 100644
--- 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
-- 
2.43.2