The debounce() operator