Help for this page
foo = foldl1 f bar xs = foldl1 f xs -- note: xs is free on both sides
foldl f -- note: not a definition (type is [a] -> a)