Chap 7: map[345] defined with map2.
Chap 7: Impl. of choice with flatMap (instead of exs 15 and 16)