Ex 6.7: sequence
Ex 6.8: flatMap
Ex 6.9: map and map2 in terms of flatMap