Added 'foldleft' required by 'select_if'.