(function) @fold