decl :: Parser (Name, Expr)
decl = (\ x xs e -> (x, lam xs e)) <$ keyw "let" <*> ident <*> many ident <* sym "=" <*> expr
decl :: Parser (Name, Expr)
decl = (\ x xs e -> (x, lam xs e)) <$ keyw "let" <*> ident <*> many ident <* sym "=" <*> expr
decl = (\ x xs e -> (x, lam xs e)) <$ keyw "let" <*> ident <*> many ident <* sym "=" <*> expr