12.1.1 sequence
12.1.2 replicateM
arbitrary for Monad/Applicative
12.1.4 traverse
12.2.1 map via unit and apply
12.2 map via unit and apply
12.3 map3/4