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