kinds

[clean-tests.git] / gengen / Data / GenType.dcl

diff --git a/gengen/Data/GenType.dcl b/gengen/Data/GenType.dcl
index dfcfe96..c01eca9 100644 (file)
--- a/gengen/Data/GenType.dcl
+++ b/gengen/Data/GenType.dcl
@@ -71,10 +71,11 @@ typeName :: Type -> String
 typeGenType :: Type -> [GenType]
 
 /**
- * Return the kind of the type
+ * Return an approximation of the kind of the type given all the constructors
  */
 :: Kind = KStar | (KArrow) infixr 1 Kind Kind
-genTypeKind :: GenType -> Kind
+genTypeKind :: [GenType] -> Kind
+instance toString Kind
 
 /**
  * Predicate whether the outer type is a builtin type