macro fold_result($left, $right) { ... }