Exercise 5.6 headOption in terms of foldRight (hard?)
Exercise 5.7 map, filter, flatMap and append in terms of foldRight.