fun = eval("lambda " + ",".join(args) + ': ' + body)