Ex 7.5: sequence
Ex 7.11: choice and choiceN
Ex 7.12: choiceMap
Ex 7.13: chooser
Ex 7.14: join