foo    = foldl1 f
bar xs = foldl1 f xs    -- note: xs is free on both sides

##</code><code>##

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