(reduction) @fold