a.hlm

@@ -1,4 +1,4 @@
-func add (x: num) num = (\a: num -> a + 1)(x);
+func add x: num -> num = x + 1;
 
 println(
     {

src/read/parse.rs

@@ -446,16 +446,12 @@ pub fn stmt_parser() -> impl P<Spanned<PStmt>> {
     let func = just(Token::Func)
         .ignore_then(symbol_parser())
         .then(
-            nested_parser(
-                symbol_parser()
-                    .then_ignore(just(Token::Colon))
-                    .then(type_parser())
-                    .separated_by(just(Token::Comma))
-                    .allow_trailing(),
-                Delim::Paren,
-                |_| Vec::new(),
-            )
+            symbol_parser()
+            .then_ignore(just(Token::Colon))
+            .then(type_parser())
+            .separated_by(just(Token::Comma))
         )
+        .then_ignore(just(Token::Arrow))
         .then(type_parser())
         .then_ignore(just(Token::Assign))
         .then(expr_parser().map(Box::new))