From 2b729aaadc9c512705ded8cfaa45da4d0fd2d4cd Mon Sep 17 00:00:00 2001
From: Stephen Diehl <stephen.m.diehl@gmail.com>
Date: Sat, 3 Dec 2016 14:17:49 +0000
Subject: [PATCH] Type level literals

---
 src/Base.hs | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/src/Base.hs b/src/Base.hs
index 2a34b8a45..3df48b982 100644
--- a/src/Base.hs
+++ b/src/Base.hs
@@ -83,6 +83,22 @@ import GHC.Records as X (
   )
 -}
 
+#if ( __GLASGOW_HASKELL__ >= 710 )
+import GHC.TypeLits (
+  Symbol,
+  SomeSymbol(..),
+  Nat,
+  SomeNat(..),
+  CmpNat,
+  KnownSymbol,
+  KnownNat,
+  natVal,
+  someNatVal,
+  symbolVal,
+  someSymbolVal
+  )
+#endif
+
 import Data.Kind as X (
     type (*)
   , type Type