Ch4, exercises up to #4: map2, sequence
Ex 5: add traverse, reimplement sequence with traverse