(binding) @fold
