(body) @fold