ex 3.13
foldLeft parameter types for f swaped