up to Ex. 10_6 - foldLeft/Right in terms of foldMap
up to 10.7
ex 10.9 : int ordering from foldMap