exercises 8 & 9

traverse and sequence for Either, and a version of map_2 that returns
all Left elements (errors by convention)