Add solution for Exercise 3.4(a).
Add solution to Exercise 3.4(b).
Don't mention unused variables by name in the argument pattern of the function merge.
Add solution to Exercise 3.4(c).
Add solution to Exercise 3.4(d).