change ECKind to *=>*=>*

[coq-hetmet.git] / src / HaskKinds.v

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 *)
-Definition ECKind := ★ .  
+Definition ECKind := ★ ⇛ ★ ⇛ ★.  
 Opaque ECKind.
 
 Fixpoint kindToLatexMath (k:Kind) : LatexMath :=