foldl f   -- note: not a definition  (type is [a] -> a)