Three exercises on mapping over trees