change ECKind to *=>*=>*

diff --git a/src/HaskKinds.v b/src/HaskKinds.v
index 2200f51..d575d12 100644 (file)
--- a/src/HaskKinds.v
+++ b/src/HaskKinds.v
@@ -38,7 +38,7 @@ Notation "'★'"   := KindStar.
 Notation "a ⇛ b" := (KindArrow a b).
 
 (* the kind of environment classifiers *)
 Notation "a ⇛ b" := (KindArrow a b).
 
 (* the kind of environment classifiers *)

-Definition ECKind := ★ .  
+Definition ECKind := ★ ⇛ ★ ⇛ ★.  

 Opaque ECKind.
 
 Fixpoint kindToLatexMath (k:Kind) : LatexMath :=
 Opaque ECKind.
 
 Fixpoint kindToLatexMath (k:Kind) : LatexMath :=