`tuple_map_with_make` ought to be called `tuple_map_invoke` because it fuses the map with the invocation of a function.