(1) \f x -> f x => \(f,x) -> f x (2) [ArgDecl] => [ASTStmt]