Chapter 3: insert metafunction