Exercise 3.15: concat
Exercise 3.16: increment