Exploring fold functions, empty parameter packs & identity elements.