From 706ec59b5c70df1925a9271095455269ca694987 Mon Sep 17 00:00:00 2001
From: Icelandjack <baldurpet@gmail.com>
Date: Thu, 14 Jul 2016 17:00:23 +0000
Subject: [PATCH] =?UTF-8?q?TList=20[]=20f=20=E2=86=92=20TList=20'[]=20f?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 paper.lhs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/paper.lhs b/paper.lhs
index afced79..6beeb4a 100644
--- a/paper.lhs
+++ b/paper.lhs
@@ -685,7 +685,7 @@ data Index l a where
   Tail  :: Index t x -> Index (h : t) x
 
 data TList l f where
-  TNil  :: TList [] f
+  TNil  :: TList '[] f
   (:::) :: f h -> TList t f -> TList (h : t) f
 
 index :: TList l f -> Index l a -> f a