diff --git a/11/parser.y b/11/parser.y
index 8160358..686e79e 100644
--- a/11/parser.y
+++ b/11/parser.y
@@ -41,7 +41,7 @@ extern yy::parser::symbol_type yylex();
 %type <std::vector<branch_ptr>> branches
 %type <std::vector<constructor_ptr>> constructors
 %type <std::vector<parsed_type_ptr>> typeList
-%type <parsed_type_ptr> type nullaryType typeListElement
+%type <parsed_type_ptr> type nonArrowType typeListElement
 %type <ast_ptr> aAdd aMul case app appBase
 %type <definition_data_ptr> data 
 %type <definition_defn_ptr> defn
@@ -141,11 +141,11 @@ constructor
     ;
 
 type
-    : nullaryType ARROW type { $$ = parsed_type_ptr(new parsed_type_arr(std::move($1), std::move($3))); }
-    | nullaryType { $$ = std::move($1); }
+    : nonArrowType ARROW type { $$ = parsed_type_ptr(new parsed_type_arr(std::move($1), std::move($3))); }
+    | nonArrowType { $$ = std::move($1); }
     ;
 
-nullaryType
+nonArrowType
     : UID typeList { $$ = parsed_type_ptr(new parsed_type_app(std::move($1), std::move($2))); }
     | LID { $$ = parsed_type_ptr(new parsed_type_var(std::move($1))); }
     | OPAREN type CPAREN { $$ = std::move($2); }