From 6cefee6977791025aaa98dcd9996b1b378323c6c Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 15 Feb 2014 21:26:19 -0500
Subject: [PATCH] Export everything from Z to N20 from Naturals.

---
 src/Naturals.hs | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

diff --git a/src/Naturals.hs b/src/Naturals.hs
index 1d2a696..7779cdf 100644
--- a/src/Naturals.hs
+++ b/src/Naturals.hs
@@ -1,10 +1,24 @@
 -- | A bunch of type-level natural numbers extending the ones present
 --   in Data.Vector.Fixed.
-module Naturals
+module Naturals (
+  module Data.Vector.Fixed,
+  N7,
+  N8,
+  N9,
+  N10,
+  N11,
+  N12,
+  N13,
+  N14,
+  N15,
+  N16,
+  N17,
+  N18,
+  N19,
+  N20 )
 where
 
-import Data.Vector.Fixed ( S, N6 )
-
+import Data.Vector.Fixed ( N1, N2, N3, N4, N5, N6, S, Z )
 
 type N7 = S N6
 type N8 = S N7
-- 
2.43.2