P0083R3

Splicing sets and maps