diff --git a/Typecheck2.ml b/Typecheck2.ml
index 5c432f2e8..914bfd779 100644
--- a/Typecheck2.ml
+++ b/Typecheck2.ml
@@ -41,7 +41,6 @@ module O = struct
   | TypeApp  of type_constructor * (type_expr list)
   | Function of { arg: type_expr; ret: type_expr }
   | Ref      of type_expr
-  | TC       of type_constructor
   | String
   | Int
   | Unit
@@ -68,7 +67,7 @@ module O = struct
   and decl = { var: typed_var; value: expr; orig: asttodo }
 
   and lambda = {
-      parameters:   typed_var SMap.t;
+      parameter:    typed_var;
       declarations: decl list;
       instructions: instr list;
       result:       expr;
diff --git a/Typecheck2.mli b/Typecheck2.mli
index 1f14aba31..e301a5d0b 100644
--- a/Typecheck2.mli
+++ b/Typecheck2.mli
@@ -41,7 +41,6 @@ module O : sig
   | TypeApp  of type_constructor * (type_expr list)
   | Function of { arg: type_expr; ret: type_expr }
   | Ref      of type_expr
-  | TC       of type_constructor
   | String
   | Int
   | Unit
@@ -68,7 +67,7 @@ module O : sig
   and decl = { var: typed_var; value: expr; orig: asttodo }
 
   and lambda = {
-      parameters:   typed_var SMap.t;
+      parameter:    typed_var;
       declarations: decl list;
       instructions: instr list;
       result:       expr;