Updating: improving ATS-parse-emit: supporting higher-order functions